| description | The Isabelle repository |
| owner | isabelle |
| last change | Wed, 23 May 2012 21:19:48 +0200 |
| 2 hours ago | blanchet | 2012-05-23 | tuned names | changeset | files |
| 2 hours ago | blanchet | 2012-05-23 | order LEO-II/Satallax definitions so that they build on each other (cf. Satallax's THF policy) | changeset | files |
| 2 hours ago | blanchet | 2012-05-23 | improved LEO-II definition handling -- still hoping for a fix directly in LEO-II | changeset | files |
| 2 hours ago | blanchet | 2012-05-23 | augment Satallax unsat cores with all definitions | changeset | files |
| 2 hours ago | blanchet | 2012-05-23 | better handling of incomplete TSTP proofs | changeset | files |
| 2 hours ago | blanchet | 2012-05-23 | generate THF definitions | changeset | files |
| 6 hours ago | wenzelm | 2012-05-23 | build hybrid Isabelle component for JDK on x86-linux/x86_64-linux; | changeset | files |
| 7 hours ago | wenzelm | 2012-05-23 | merged | changeset | files |
| 7 hours ago | wenzelm | 2012-05-23 | eliminated old 'axioms'; | changeset | files |
| 7 hours ago | wenzelm | 2012-05-23 | discontinued obsolete method fastsimp / tactic fast_simp_tac; | changeset | files |
| ... | ||||
| 3 days ago | Isabelle2012 | changeset | changelog | files |
| 7 months ago | Isabelle2011-1 | changeset | changelog | files |
| 15 months ago | Isabelle2011 | changeset | changelog | files |
| 23 months ago | Isabelle2009-2 | changeset | changelog | files |
| 2009-12-02 | Isabelle2009-1 | changeset | changelog | files |
| 2009-04-16 | Isabelle2009 | changeset | changelog | files |
| 2008-06-08 | Isabelle2008 | changeset | changelog | files |
| 2007-11-22 | Isabelle2007 | changeset | changelog | files |
| 2006-03-08 | nominal_03 | changeset | changelog | files |
| 2006-01-11 | nominal_02 | changeset | changelog | files |
| ... | ||
| 2 hours ago | 6b13451135a9 | default | changeset | changelog | files |
| ... | |||