descriptionThe Isabelle repository
ownerisabelle
last changeMon, 28 Jul 2014 10:57:33 +0200
changes
35 hours ago blanchet 2014-07-28 correctly translate THF functions from terms to types default tip
2 days ago blanchet 2014-07-27 do not embed 'nat' into 'int's in 'smt2' method -- this is highly inefficient and decreases the Sledgehammer success rate significantly
2 days ago wenzelm 2014-07-27 back to post-release mode -- after fork point;
2 days ago wenzelm 2014-07-27 tuned;
2 days ago wenzelm 2014-07-27 tuned;
3 days ago wenzelm 2014-07-26 no -optimise -- produces bad bytecode;
3 days ago wenzelm 2014-07-26 output state first -- avoid fluctuation wrt. warnings, errors, etc.;
4 days ago wenzelm 2014-07-25 tuned comment;
4 days ago wenzelm 2014-07-25 updated to polyml-5.5.2-1 which addresses two hard crashes;
4 days ago wenzelm 2014-07-25 updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
...
tags
3 weeks ago Isabelle2014-RC0
7 months ago Isabelle2013-2
8 months ago Isabelle2013-1
17 months ago Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
2009-04-16 Isabelle2009
...
branches
35 hours ago 44341963ade3 default
...