Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed accidentally submitted line
authorblanchet
Fri, 13 Sep 2013 16:30:16 +0200
changeset 53618 4161d2b96b8c
parent 53617 da5e1887d7a7
child 53619 27d2c98d9d9f
removed accidentally submitted line
src/Doc/ROOT file | annotate | diff | comparison | revisions 
--- a/src/Doc/ROOT	Fri Sep 13 16:29:39 2013 +0200
+++ b/src/Doc/ROOT	Fri Sep 13 16:30:16 2013 +0200
@@ -38,7 +38,7 @@
     "document/style.sty"
 
 session Datatypes (doc) in "Datatypes" = "HOL-BNF" +
-  options [document_variants = "datatypes", document_output = "/tmp/isa-output"]
+  options [document_variants = "datatypes"]
   theories [document = false] Setup
   theories Datatypes
   files
isabelle