| description | The Isabelle repository |
| owner | isabelle |
| last change | Fri, 15 Feb 2019 17:10:09 +0100 |
| 17 hours ago | wenzelm | 2019-02-15 | clarified meta_digest: export_files is a directive for physical output from existing build database; | changeset | files |
| 18 hours ago | wenzelm | 2019-02-15 | clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; tuned messages; | changeset | files |
| 22 hours ago | wenzelm | 2019-02-15 | clarified name; | changeset | files |
| 36 hours ago | wenzelm | 2019-02-14 | more operations; | changeset | files |
| 42 hours ago | wenzelm | 2019-02-14 | more operations; | changeset | files |
| 43 hours ago | wenzelm | 2019-02-14 | support for RDF/XML representation; | changeset | files |
| 43 hours ago | wenzelm | 2019-02-14 | tuned according to Scala version; | changeset | files |
| 43 hours ago | wenzelm | 2019-02-14 | support for XML name spaces; | changeset | files |
| 44 hours ago | wenzelm | 2019-02-14 | uniform XML header; | changeset | files |
| 2 days ago | nipkow | 2019-02-13 | added lemma | changeset | files |
| ... | ||||
| 6 months ago | Isabelle2018 | changeset | changelog | files |
| 16 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 |
| ... | ||
| 17 hours ago | 9487788a94c1 | default | changeset | changelog | files |
| ... | |||