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/HOL/ROOT
changeset 50870 b8606dd29783
parent 50844 b95ff3744815
child 50988 5231bfb8bfcf 
--- a/src/HOL/ROOT	Sun Jan 13 21:42:39 2013 +0100
+++ b/src/HOL/ROOT	Sun Jan 13 22:05:47 2013 +0100
@@ -65,7 +65,7 @@
   files "document/root.tex"
 
 session "HOL-IMP" in IMP = HOL +
-  options [document_graph]
+  options [document_graph, document_variants=document]
   theories [document = false]
     "~~/src/HOL/ex/Interpretation_with_Defs"
     "~~/src/HOL/Library/While_Combinator"
isabelle