Mercurial Mercurial > repos > isabelle / 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.
src/Tools/ROOT
changeset 56276 9e2d5e3debd3
parent 53166 1266b6208a5b
child 56738 13b0fc4ece42 
--- a/src/Tools/ROOT	Tue Mar 25 13:18:10 2014 +0100
+++ b/src/Tools/ROOT	Tue Mar 25 14:52:35 2014 +0100
@@ -7,3 +7,8 @@
   theories [condition = ISABELLE_POLYML]
     Examples
 
+session SML in SML = Pure +
+  options [condition = ISABELLE_POLYML]
+  theories
+    Examples
+
isabelle