Mercurial Mercurial > hg > tm2 / 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 files to ROOT
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 21 Mar 2014 15:10:13 +0000
changeset 7 192672a6fff4
parent 6 38cef5407d82
child 8 dcbf7888a070
added files to ROOT
ROOT file | annotate | diff | comparison | revisions 
--- a/ROOT	Fri Mar 21 15:07:59 2014 +0000
+++ b/ROOT	Fri Mar 21 15:10:13 2014 +0000
@@ -12,4 +12,8 @@
 
 session "TM" in "thys" = Hoare_abc +
   theories 
+    My_block
+    LetElim
+    AList
+    StateMonad
     TM_Assemble
\ No newline at end of file
tm2