hardwired document_variants, to prevent HOL-IMP's \snip choking on macros from isabellestags.sty;
authorwenzelm
Sun Jan 13 22:05:47 2013 +0100 (2013-01-13)
changeset 50870b8606dd29783
parent 50867 48836c35d636
child 50871 2ea3c90ff0bb
hardwired document_variants, to prevent HOL-IMP's \snip choking on macros from isabellestags.sty;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Sun Jan 13 21:42:39 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Sun Jan 13 22:05:47 2013 +0100
     1.3 @@ -65,7 +65,7 @@
     1.4    files "document/root.tex"
     1.5  
     1.6  session "HOL-IMP" in IMP = HOL +
     1.7 -  options [document_graph]
     1.8 +  options [document_graph, document_variants=document]
     1.9    theories [document = false]
    1.10      "~~/src/HOL/ex/Interpretation_with_Defs"
    1.11      "~~/src/HOL/Library/While_Combinator"