Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/ROOT
Mon, 30 Jul 2012 17:37:34 +0200 wenzelm regenerate ToyList2/ToyList.thy during raw make *after* session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); file | diff | annotate
Mon, 30 Jul 2012 17:25:45 +0200 wenzelm multi-threaded HOL-Tutorial with explicit indication of local options; file | diff | annotate
Sat, 28 Jul 2012 20:20:35 +0200 wenzelm no apparent need for single-threaded execution; file | diff | annotate
Sat, 28 Jul 2012 15:21:49 +0200 wenzelm some description of isabelle build; file | diff | annotate
Thu, 26 Jul 2012 19:40:19 +0200 wenzelm added session HOL-Tutorial; file | diff | annotate
Thu, 26 Jul 2012 14:29:54 +0200 wenzelm refined "document_dump_mode": "all", "tex+sty", "tex"; file | diff | annotate
Thu, 26 Jul 2012 12:27:47 +0200 wenzelm support session groups; file | diff | annotate
Wed, 25 Jul 2012 18:05:07 +0200 wenzelm session specifications for doc-src, excluding TutorialI for now; file | diff | annotate
less more (0) tip
isabelle