Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ROOT
changeset 3217 d67a6a48f1c7
parent 3198 e42d281bf5ef
child 3224 cf451e182bf0 
--- a/ROOT	Wed Mar 27 17:23:00 2013 +0000
+++ b/ROOT	Mon Apr 01 23:22:53 2013 +0100
@@ -34,6 +34,7 @@
     "Ex/CoreHaskell"
     "Ex/CoreHaskell2"
     "Ex/Pi"
+    "Ex/Local_Contexts"
   theories [quick_and_dirty]
     "Ex/Let"
nominal2