descriptionThe Isabelle repository
ownerisabelle
last changeWed, 22 Apr 2015 20:07:00 +0200
changes
4 days ago blanchet 2015-04-22 improved docs default tip
5 days ago nipkow 2015-04-22 merged
5 days ago nipkow 2015-04-22 merged
5 days ago nipkow 2015-04-22 added simp rules for ==>
5 days ago paulson 2015-04-22 fixes for limits
5 days ago paulson 2015-04-21 New material, mostly about limits. Consolidation.
6 days ago kleing 2015-04-20 be less specific about POLYML_HOME, take component setup instead
7 days ago blanchet 2015-04-20 declare Nitpick atoms to avoid '??.' prefixes in output
7 days ago wenzelm 2015-04-19 back to post-release mode -- after fork point;
7 days ago blanchet 2015-04-19 acknowledgment
...
tags
9 days ago Isabelle2015-RC1
2 weeks ago Isabelle2015-RC0
8 months ago Isabelle2014
16 months ago Isabelle2013-2
17 months ago Isabelle2013-1
2013-02-11 Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
...
branches
4 days ago bcb680bbcd00 default
...