MOISE/Pattern-Instanciation-On-System-Engineering-Model
1
0
Fork 0
mirror of http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git synced 2025-12-22 11:13:57 +01:00
Code Issues Projects Releases Wiki Activity
Files
master
Pattern-Instanciation-On-Sy…/Event-B/pseim/cLink.bpr
Pierre Gaufillet 79820f4433 Initial commit.
2018-12-06 14:47:05 +01:00

2 lines
76 B
XML
Raw Permalink Blame History

<?xml version="1.0" encoding="UTF-8"?>
<org.eventb.core.prFile version="1"/>
Reference in New Issue View Git Blame Copy Permalink