Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added weakening to the test cases
authorChristian Urban <urbanc@in.tum.de>
Thu, 06 Jan 2011 13:31:44 +0000
changeset 2644 8ad8612e5d9b
parent 2643 0579d3a48304
child 2645 09cf78bb53d4
added weakening to the test cases
Nominal/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/Nominal/ROOT.ML	Thu Jan 06 13:28:40 2011 +0000
+++ b/Nominal/ROOT.ML	Thu Jan 06 13:31:44 2011 +0000
@@ -25,5 +25,7 @@
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",
-    "Ex/CoreHaskell2"
+    "Ex/CoreHaskell2",
+
+    "Ex/Weakening"
     ];
nominal2