| description | The Isabelle repository |
| owner | isabelle |
| last change | Mon, 10 Dec 2018 23:36:29 +0100 |
| 8 hours ago | wenzelm | 2018-12-10 | more Haskell operations; | changeset | files |
| 9 hours ago | wenzelm | 2018-12-10 | tuned headers; | changeset | files |
| 9 hours ago | wenzelm | 2018-12-10 | more formal Haskell project setup, with dependencies on packages from "stackage"; | changeset | files |
| 9 hours ago | wenzelm | 2018-12-10 | tuned signature; | changeset | files |
| 11 hours ago | wenzelm | 2018-12-10 | tuned proofs; | changeset | files |
| 12 hours ago | wenzelm | 2018-12-10 | clarified modules, following bytes.scala; | changeset | files |
| 12 hours ago | wenzelm | 2018-12-10 | clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString); | changeset | files |
| 36 hours ago | wenzelm | 2018-12-09 | tuned message; | changeset | files |
| 36 hours ago | wenzelm | 2018-12-09 | updated to scala-2.12.8; | changeset | files |
| 38 hours ago | wenzelm | 2018-12-09 | more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused); | changeset | files |
| ... | ||||
| 4 months ago | Isabelle2018 | changeset | changelog | files |
| 14 months ago | Isabelle2017 | changeset | changelog | files |
| 24 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 |
| ... | ||
| 8 hours ago | 9cf0b79dfb7f | default | changeset | changelog | files |
| ... | |||