12 Jun
2006
12 Jun
'06
5:27 p.m.
>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)lrde.epita.fr> writes:
Index: src/syn/prism/PRISM-Main.sdf
--- src/syn/prism/PRISM-Main.sdf (revision 55)
+++ src/syn/prism/PRISM-Main.sdf (working copy)
@@ -1,20 +1,4 @@
module PRISM-Main
imports
- PRISM-Command
- PRISM-Constant
- PRISM-Declaration
- PRISM-Expression
- PRISM-Formula
- PRISM-Global
- PRISM-Identifier
- PRISM-Init
- PRISM-Label
PRISM-Layout
- PRISM-Literals
- PRISM-Module
PRISM-ModulesFile
- PRISM-ModulesFileType
- PRISM-Reward
- PRISM-SystemComposition
- PRISM-Update
How come they are useless? There were included elsewhere?