descriptionThe Isabelle repository
ownerisabelle
last changeSat, 23 Sep 2017 20:09:16 +0200
changes
16 hours ago wenzelm 2017-09-23 merged default tip
22 hours ago wenzelm 2017-09-23 Added tag Isabelle2017-RC3 for changeset 4f73201b8043
22 hours ago wenzelm 2017-09-23 updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb); Isabelle2017-RC3
42 hours ago blanchet 2017-09-22 updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries
2 days ago wenzelm 2017-09-21 updated screenshots;
2 days ago wenzelm 2017-09-21 misc tuning and updates for release;
2 days ago wenzelm 2017-09-21 avoid duplicate message for @{action} in particular (see also @{action} within Pure);
3 days ago wenzelm 2017-09-21 more on indentation;
4 days ago wenzelm 2017-09-19 clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99);
4 days ago wenzelm 2017-09-19 clarified signature according to Scala version;
...
tags
22 hours ago Isabelle2017-RC3
2 weeks ago Isabelle2017-RC2
3 weeks ago Isabelle2017-RC1
5 weeks ago Isabelle2017-RC0
9 months ago Isabelle2016-1
19 months ago Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
...
branches
16 hours ago ebb97a834338 default
...