Mercurialisabelle / summary
summary | shortlog | changelog | graph | tags | branches | files | gz
 
descriptionThe Isabelle repository
ownerisabelle
last changeSun, 24 Jun 2018 22:13:23 +0200
changes
13 hours ago wenzelm 2018-06-24 disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment; default tip changeset | files
19 hours ago wenzelm 2018-06-24 simplified ZF theory names (in contrast to 6a0801279f4c): session-qualification already achieves disjointness; changeset | files
23 hours ago paulson 2018-06-24 merged changeset | files
23 hours ago paulson 2018-06-24 more modernisaton and de-applying changeset | files
42 hours ago wenzelm 2018-06-23 tuned; changeset | files
45 hours ago wenzelm 2018-06-23 clarified queue ordering: take session descendants into account, notably for "slow" AFP sessions; changeset | files
2 days ago wenzelm 2018-06-22 merged changeset | files
2 days ago wenzelm 2018-06-22 clarified document antiquotation @{theory}; changeset | files
2 days ago wenzelm 2018-06-22 include target sessions as well: avoid default "Draft" qualification; changeset | files
3 days ago wenzelm 2018-06-21 clarified signature; changeset | files
...
tags
2 weeks ago Isabelle2018-RC0 changeset | changelog | files
8 months ago Isabelle2017 changeset | changelog | files
18 months ago Isabelle2016-1 changeset | changelog | files
2016-02-15 Isabelle2016 changeset | changelog | files
2015-05-23 Isabelle2015 changeset | changelog | files
2014-08-18 Isabelle2014 changeset | changelog | files
2013-12-04 Isabelle2013-2 changeset | changelog | files
2013-11-09 Isabelle2013-1 changeset | changelog | files
2013-02-11 Isabelle2013 changeset | changelog | files
2013-01-08 build_history_base changeset | changelog | files
...
branches
13 hours ago f0f83ce0badd default changeset | changelog | files
...
isabelle