| description | The Isabelle repository |
| owner | isabelle |
| last change | Fri, 22 Mar 2019 22:37:30 +0100 |
| 21 hours ago | wenzelm | 2019-03-22 | merged | changeset | files |
| 21 hours ago | wenzelm | 2019-03-22 | clarified GHC and OCaml test setup; | changeset | files |
| 25 hours ago | wenzelm | 2019-03-22 | updated to cygwin-20190322 -- package required by ocaml_setup for zarith; | changeset | files |
| 26 hours ago | wenzelm | 2019-03-22 | workaround for the sake of Windows; | changeset | files |
| 32 hours ago | wenzelm | 2019-03-22 | more robust -- analogous to ocamlfind; | changeset | files |
| 33 hours ago | wenzelm | 2019-03-22 | even more robust and conservative OCaml setup; | changeset | files |
| 23 hours ago | haftmann | 2019-03-22 | executable equality | changeset | files |
| 23 hours ago | haftmann | 2019-03-22 | improved code equations taken over from AFP | changeset | files |
| 30 hours ago | paulson | 2019-03-22 | New abstract topological material | changeset | files |
| 2 days ago | nipkow | 2019-03-21 | merged | changeset | files |
| ... | ||||
| 7 months ago | Isabelle2018 | changeset | changelog | files |
| 17 months ago | Isabelle2017 | changeset | changelog | files |
| 2016-12-12 | 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 |
| 2013-01-08 | build_history_base | changeset | changelog | files |
| ... | ||
| 21 hours ago | 3544cca7920f | default | changeset | changelog | files |
| ... | |||