Mercurial Mercurial > repos > isabelle / 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.
de-emphasize HOL-SPARK: somewhat outdated;
authorwenzelm
Sun, 30 Sep 2018 13:00:08 +0200
changeset 69093 b28ad89d8a50
parent 69092 854bd35cad49
child 69094 b96dd4963e2d
de-emphasize HOL-SPARK: somewhat outdated;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Sun Sep 30 12:54:42 2018 +0200
+++ b/src/HOL/ROOT	Sun Sep 30 13:00:08 2018 +0200
@@ -852,7 +852,7 @@
     SMT_Word_Examples
     SMT_Tests
 
-session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
+session "HOL-SPARK" in "SPARK" = "HOL-Word" +
   theories
     SPARK
isabelle