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.
fixed
authorChristian Urban <urbanc@in.tum.de>
Wed, 22 Sep 2010 18:13:26 +0200
changeset 2482 0c2eb0ed30a0
parent 2481 3a5ebb2fcdbf
child 2483 37941f58ab8f
fixed
Nominal/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/Nominal/ROOT.ML	Wed Sep 22 14:19:48 2010 +0800
+++ b/Nominal/ROOT.ML	Wed Sep 22 18:13:26 2010 +0200
@@ -3,7 +3,7 @@
 no_document use_thys
    ["Ex/Classical",    
     "Ex/CoreHaskell",
-     Ex/Datatypes",
+    "Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
     "Ex/Multi_Recs",
nominal2