descriptionThe Isabelle repository
ownerisabelle
last changeFri, 07 Aug 2020 11:46:14 +0200
changes
6 hours ago wenzelm 2020-08-07 avoid failure of "isabelle build -o skip_proofs"; default tip
17 hours ago wenzelm 2020-08-06 merged
18 hours ago wenzelm 2020-08-06 recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
18 hours ago wenzelm 2020-08-06 more compact command_timings, as in former batch-build;
18 hours ago wenzelm 2020-08-06 unused;
18 hours ago wenzelm 2020-08-06 unused --- superseded by PIDE messages;
18 hours ago wenzelm 2020-08-06 more thorough cleanup, e.g. before ML_Heap.save;
19 hours ago wenzelm 2020-08-06 discontinued old batch-build functionality;
24 hours ago haftmann 2020-08-06 tailored towards remaining essence
23 hours ago nipkow 2020-08-06 merged
...
tags
3 months ago Isabelle2020
14 months ago Isabelle2019
24 months ago Isabelle2018
2017-10-04 Isabelle2017
2016-12-12 Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
...
branches
6 hours ago 16fab31feadc default
...