| description | The Isabelle repository |
| owner | isabelle |
| last change | Sat, 11 Feb 2012 13:41:36 +0100 |
| 2 days ago | blanchet | 2012-02-11 | new SPASS options | changeset | files |
| 2 days ago | bulwahn | 2012-02-11 | making num_mutations a configuration that can be changed with the mutabelle bash command | changeset | files |
| 2 days ago | bulwahn | 2012-02-11 | making max_mutants an option that can be changed in the Mutabelle-script | changeset | files |
| 2 days ago | bulwahn | 2012-02-11 | increase timeout to 30 seconds; changing mutabelle script | changeset | files |
| 3 days ago | blanchet | 2012-02-10 | parse clauses generated from several formulas | changeset | files |
| 3 days ago | blanchet | 2012-02-10 | be more gentle when generating KBO weights | changeset | files |
| 3 days ago | blanchet | 2012-02-10 | update SPASS slices | changeset | files |
| 3 days ago | Cezary Kaliszyk | 2012-02-10 | more specification of the quotient package in IsarRef | changeset | files |
| 3 days ago | Cezary Kaliszyk | 2012-02-10 | specification of the quotient package | changeset | files |
| 4 days ago | blanchet | 2012-02-09 | tune KBO weight code | changeset | files |
| ... | ||||
| 4 months ago | Isabelle2011-1 | changeset | changelog | files |
| 12 months ago | Isabelle2011 | changeset | changelog | files |
| 20 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 |
| 2005-12-09 | nominal_01 | changeset | changelog | files |
| ... | ||
| 2 days ago | ec2e20b27638 | default | changeset | changelog | files |
| ... | |||