| description | The Isabelle repository |
| owner | isabelle |
| last change | Mon, 16 Jul 2018 15:24:06 +0200 |
| 3 hours ago | Manuel Eberl | 2018-07-16 | Made simproc for sqrt/root of numeral more robust | changeset | files |
| 10 hours ago | Andreas Lochbihler | 2018-07-16 | merged | changeset | files |
| 18 hours ago | Andreas Lochbihler | 2018-07-15 | merged | changeset | files |
| 18 hours ago | Andreas Lochbihler | 2018-07-15 | more examples for Code_Lazy | changeset | files |
| 19 hours ago | paulson | 2018-07-15 | de-applying and meta-quantifying | changeset | files |
| 23 hours ago | paulson | 2018-07-15 | merged | changeset | files |
| 23 hours ago | paulson | 2018-07-15 | more renaming fixes | changeset | files |
| 25 hours ago | paulson | 2018-07-15 | fixes and more de-applying | changeset | files |
| 28 hours ago | paulson | 2018-07-15 | more de-applying and a fix | changeset | files |
| 31 hours ago | paulson | 2018-07-15 | merged | changeset | files |
| ... | ||||
| 2 weeks ago | Isabelle2018-RC1 | changeset | changelog | files |
| 5 weeks ago | Isabelle2018-RC0 | changeset | changelog | files |
| 9 months ago | Isabelle2017 | changeset | changelog | files |
| 19 months ago | Isabelle2016-1 | changeset | changelog | files |
| 2016-02-15 | Isabelle2016 | changeset | changelog | files |
| 2015-05-23 | Isabelle2015 | changeset | changelog | files |
| 2014-08-18 | Isabelle2014 | changeset | changelog | files |
| 2013-12-04 | Isabelle2013-2 | changeset | changelog | files |
| 2013-11-09 | Isabelle2013-1 | changeset | changelog | files |
| 2013-02-11 | Isabelle2013 | changeset | changelog | files |
| ... | ||
| 3 hours ago | d812b6ee711b | default | changeset | changelog | files |
| ... | |||