# HG changeset patch
# User wenzelm
# Date 1358111147 -3600
# Node ID b8606dd29783e5a25bf356e11451349180db3071
# Parent  48836c35d636542f4519f056f74ca8fa0691caf0
hardwired document_variants, to prevent HOL-IMP's \snip choking on macros from isabellestags.sty;

diff -r 48836c35d636 -r b8606dd29783 src/HOL/ROOT
--- 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"