descriptionThe Isabelle repository
ownerisabelle
last changeFri, 22 Mar 2019 22:37:30 +0100
changes
21 hours ago wenzelm 2019-03-22 merged default tip
21 hours ago wenzelm 2019-03-22 clarified GHC and OCaml test setup;
25 hours ago wenzelm 2019-03-22 updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
26 hours ago wenzelm 2019-03-22 workaround for the sake of Windows;
32 hours ago wenzelm 2019-03-22 more robust -- analogous to ocamlfind;
33 hours ago wenzelm 2019-03-22 even more robust and conservative OCaml setup;
23 hours ago haftmann 2019-03-22 executable equality
23 hours ago haftmann 2019-03-22 improved code equations taken over from AFP
30 hours ago paulson 2019-03-22 New abstract topological material
2 days ago nipkow 2019-03-21 merged
...
tags
7 months ago Isabelle2018
17 months ago Isabelle2017
2016-12-12 Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2013-01-08 build_history_base
...
branches
21 hours ago 3544cca7920f default
...