descriptionThe Isabelle repository
ownerisabelle
last changeWed, 07 Dec 2016 08:14:40 +0100
changes
26 hours ago nipkow 2016-12-07 more lemmas default tip
2 days ago nipkow 2016-12-05 spelling
3 days ago wenzelm 2016-12-04 misc tuning and modernization;
3 days ago wenzelm 2016-12-04 back to isabelle-dev repository;
3 days ago wenzelm 2016-12-04 merged
3 days ago wenzelm 2016-12-04 more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');
3 days ago wenzelm 2016-12-04 tuned;
8 days ago nipkow 2016-11-29 merged
8 days ago nipkow 2016-11-29 more lemmas, tuned proofs
9 days ago blanchet 2016-11-29 don't generate 'size_gen_o_map' property if its type variable is too limited anyway to be useful
...
tags
10 days ago Isabelle2016-1-RC4
2 weeks ago Isabelle2016-1-RC3
4 weeks ago Isabelle2016-1-RC2
5 weeks ago Isabelle2016-1-RC1
2 months ago Isabelle2016-1-RC0
9 months ago Isabelle2016
18 months ago Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
...
branches
26 hours ago 3d4331b65861 default
...