descriptionThe Isabelle repository
ownerisabelle
last changeTue, 27 Jun 2017 23:21:30 +0200
changes
38 hours ago wenzelm 2017-06-27 merged default tip
38 hours ago wenzelm 2017-06-27 support for HTTP/POST method; more explict type HTTP.Arg;
40 hours ago wenzelm 2017-06-27 clarified defaults;
40 hours ago wenzelm 2017-06-27 tuned signature;
42 hours ago wenzelm 2017-06-27 auto update;
45 hours ago wenzelm 2017-06-27 added missing files (cf. 5aa9cb83e70e);
45 hours ago wenzelm 2017-06-27 auto update;
2 days ago wenzelm 2017-06-27 GUI controls similar to Tools/jEdit/src/state_dockable.scala;
2 days ago wenzelm 2017-06-27 GUI layout similar to Pure/GUI/wrap_panel.scala;
46 hours ago paulson 2017-06-27 Removed more "guess", etc.
...
tags
6 months ago Isabelle2016-1
16 months ago 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
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
...
branches
38 hours ago adb9d538f268 default
...