Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
no apparent need for single-threaded execution;
authorwenzelm
Sat, 28 Jul 2012 20:20:35 +0200
changeset 49602f9732774ffc7
parent 49601 500c6eb6c6dc
child 49603 23456b2a769d
no apparent need for single-threaded execution;
doc-src/ROOT file | annotate | diff | comparison | revisions 
     1.1 --- a/doc-src/ROOT	Sat Jul 28 20:18:15 2012 +0200
     1.2 +++ b/doc-src/ROOT	Sat Jul 28 20:20:35 2012 +0200
     1.3 @@ -73,8 +73,7 @@
     1.4  
     1.5  session LaTeXsugar! (doc) in "LaTeXsugar/Sugar" = HOL +
     1.6    options [browser_info = false, document = false,
     1.7 -    document_dump = document, document_dump_mode = "tex",
     1.8 -    threads = 1]  (* FIXME *)
     1.9 +    document_dump = document, document_dump_mode = "tex"]
    1.10    theories [document_dump = ""]
    1.11      "~~/src/HOL/Library/LaTeXsugar"
    1.12      "~~/src/HOL/Library/OptionalSugar"
wneuper/isa