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 73937 fe8d0f4da0e6
parent 70853 c92ae7b0f3f1
child 74105 d3d6e01a6b00
child 74189 d4af818e0880 
--- a/src/Tools/ROOT	Thu Jul 08 15:25:58 2021 +0200
+++ b/src/Tools/ROOT	Thu Jul 08 22:58:48 2021 +0200
@@ -4,11 +4,6 @@
   theories
     Code_Generator
 
-session Spec_Check in Spec_Check = Pure +
-  theories
-    Spec_Check
-    Examples
-
 session SML in SML = Pure +
   theories
     Examples
isabelle