doc-src/ROOT
Sat, 28 Jul 2012 20:20:35 +0200 wenzelm no apparent need for single-threaded execution;
Sat, 28 Jul 2012 15:21:49 +0200 wenzelm some description of isabelle build;
Thu, 26 Jul 2012 19:40:19 +0200 wenzelm added session HOL-Tutorial;
Thu, 26 Jul 2012 14:29:54 +0200 wenzelm refined "document_dump_mode": "all", "tex+sty", "tex";
Thu, 26 Jul 2012 12:27:47 +0200 wenzelm support session groups;
Wed, 25 Jul 2012 18:05:07 +0200 wenzelm session specifications for doc-src, excluding TutorialI for now;
less more (0) tip