--- a/src/Doc/ROOT Tue Jun 18 15:15:36 2013 +0200
+++ b/src/Doc/ROOT Tue Jun 18 15:31:52 2013 +0200
@@ -245,19 +245,6 @@
"document/root.tex"
"document/svmono.cls"
-session Ref (doc) in "Ref" = Pure +
- options [document_variants = "ref"]
- theories
- files
- "../prepare_document"
- "../pdfsetup.sty"
- "../iman.sty"
- "../extra.sty"
- "../ttbox.sty"
- "../manual.bib"
- "document/build"
- "document/root.tex"
-
session Sledgehammer (doc) in "Sledgehammer" = Pure +
options [document_variants = "sledgehammer"]
theories