descriptionThe Isabelle repository
ownerisabelle
last changeFri, 29 May 2015 17:56:43 +0200
changes
4 hours ago blanchet 2015-05-29 removed model checks from Nitpick default tip
4 hours ago blanchet 2015-05-29 document Nitpick issue
6 hours ago paulson 2015-05-29 uncountability: open interval equivalences
30 hours ago paulson 2015-05-28 Convex hulls: theorems about interior, etc. And a few simple lemmas.
35 hours ago blanchet 2015-05-28 made Auto Sledgehammer behave more like the real thing
36 hours ago blanchet 2015-05-28 took out Sledgehammer minimizer optimization that breaks things
36 hours ago kleing 2015-05-28 modernized (slightly) type compiler in MicroJava
2 days ago paulson 2015-05-26 New material about paths, and some lemmas
3 days ago wenzelm 2015-05-25 removed obsolete RC tags;
3 days ago wenzelm 2015-05-25 merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
...
tags
6 days ago Isabelle2015
9 months ago Isabelle2014
18 months ago Isabelle2013-2
18 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
2009-12-02 Isabelle2009-1
...
branches
4 hours ago 932221b62e89 default
...