Mercurial Mercurial > hg > lexing / 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.
thys/ROOT
changeset 150 09f81fee11ce
parent 148 702ed601349b
child 185 841f7b9c0a6a 
--- a/thys/ROOT	Mon Mar 14 15:15:29 2016 +0000
+++ b/thys/ROOT	Mon Mar 14 23:08:58 2016 +0000
@@ -1,6 +1,7 @@
 session "Lex" = HOL +
   theories [document = false]
 	"ReStar" 
+        "Simplifying"
         "Sulzmann"
lexing