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.
recovered document from 0f3fdf689bf9;
authorwenzelm
Mon, 24 Apr 2017 23:10:01 +0200
changeset 65576 8376f83f9094
parent 65575 f8681c62959d
child 65577 32d4117ad6e8
recovered document from 0f3fdf689bf9;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Mon Apr 24 15:56:25 2017 +0200
+++ b/src/HOL/ROOT	Mon Apr 24 23:10:01 2017 +0200
@@ -964,7 +964,7 @@
     "RIPEMD-160/rmd/s_r.rls"
     "RIPEMD-160/rmd/s_r.siv"
 
-session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK-Examples" +
+session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK" +
   options [show_question_marks = false, spark_prv = false]
   theories
     Example_Verification
isabelle