| description | The Isabelle repository |
| owner | isabelle |
| last change | Tue, 18 Sep 2018 23:18:20 +0200 |
| 33 minutes ago | wenzelm | 2018-09-18 | more generous timeout: avoid sporadic failure in highly parallel headless PIDE session; | changeset | files |
| 44 minutes ago | wenzelm | 2018-09-18 | tuned signature; | changeset | files |
| 12 hours ago | wenzelm | 2018-09-18 | tuned signature; | changeset | files |
| 12 hours ago | wenzelm | 2018-09-18 | clarified modules; | changeset | files |
| 25 hours ago | wenzelm | 2018-09-17 | merged | changeset | files |
| 25 hours ago | wenzelm | 2018-09-17 | tuned message; | changeset | files |
| 25 hours ago | wenzelm | 2018-09-17 | tuned message; | changeset | files |
| 26 hours ago | wenzelm | 2018-09-17 | more detailed session dependencies, with conditions for theories; | changeset | files |
| 27 hours ago | wenzelm | 2018-09-17 | clarified signature; | changeset | files |
| 28 hours ago | nipkow | 2018-09-17 | merged | changeset | files |
| ... | ||||
| 5 weeks ago | Isabelle2018 | changeset | changelog | files |
| 11 months ago | Isabelle2017 | changeset | changelog | files |
| 21 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 |
| 2013-01-08 | build_history_base | changeset | changelog | files |
| ... | ||
| 33 minutes ago | 5eb493b51bf6 | default | changeset | changelog | files |
| ... | |||