Added peacekeeping example back in. Doesn't compile yet.

This commit is contained in:
bjorn committed 2008-08-15 20:21:12 +00:00
1 parent 66c927937a
commit 137133b742
35 files changed
+785

No files matched your search

@@ -0,0 +1,5 @@
--# -path=.:present:prelude
concrete PeaceSyntax_Swe of PeaceSyntax = PeaceCat_Swe ** PeaceSyntaxI with
(Lang = LangSwe) ;