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 74190 9a1796acd0a4
parent 74105 d3d6e01a6b00
parent 74189 d4af818e0880
child 74199 bf9871795aeb 
--- a/src/Tools/ROOT	Mon Aug 16 23:07:01 2021 +0200
+++ b/src/Tools/ROOT	Wed Aug 18 12:33:31 2021 +0200
@@ -4,6 +4,11 @@
   theories
     Code_Generator
 
+session Spec_Check in Spec_Check = Pure +
+  theories
+    Spec_Check
+    Examples
+
 session SML in SML = Pure +
   theories
     Examples
isabelle