--- a/src/Doc/ROOT Mon Apr 07 16:37:57 2014 +0200
+++ b/src/Doc/ROOT Tue Apr 08 12:46:38 2014 +0200
@@ -109,7 +109,7 @@
"document/root.tex"
"document/style.sty"
-session "Isar-Ref" (doc) in "Isar-Ref" = HOL +
+session Isar_Ref (doc) in "Isar_Ref" = HOL +
options [document_variants = "isar-ref", quick_and_dirty, thy_output_source]
theories
Preface
@@ -148,7 +148,7 @@
theories
JEdit
files
- "../Isar-Ref/document/style.sty"
+ "../Isar_Ref/document/style.sty"
"../extra.sty"
"../iman.sty"
"../isar.sty"
@@ -208,7 +208,7 @@
"document/root.tex"
"document/syntax.tex"
-session "Logics-ZF" (doc) in "Logics-ZF" = ZF +
+session Logics_ZF (doc) in "Logics_ZF" = ZF +
options [document_variants = "logics-ZF", print_mode = "brackets",
thy_output_source]
theories
@@ -247,7 +247,7 @@
"document/build"
"document/root.tex"
-session "Prog-Prove" (doc) in "Prog-Prove" = HOL +
+session Prog_Prove (doc) in "Prog_Prove" = HOL +
options [document_variants = "prog-prove", show_question_marks = false]
theories
Basics
@@ -290,7 +290,7 @@
Misc
files
"../prepare_document"
- "../Isar-Ref/document/style.sty"
+ "../Isar_Ref/document/style.sty"
"../pdfsetup.sty"
"../iman.sty"
"../extra.sty"