descriptionThe Isabelle repository
ownerisabelle
last changeMon, 20 Mar 2017 21:53:37 +0100
changes
2 days ago wenzelm 2017-03-20 merged default tip
2 days ago wenzelm 2017-03-20 misc tuning and modernization;
2 days ago wenzelm 2017-03-20 support to encode/decode command state; support to merge full contents of command state;
2 days ago wenzelm 2017-03-20 tuned;
2 days ago wenzelm 2017-03-20 more operations;
2 days ago wenzelm 2017-03-20 tuned signature;
2 days ago wenzelm 2017-03-20 eliminated redundant check (see also 27328dcaf64c vs. 9c53198dbb1c);
2 days ago ballarin 2017-03-20 Corrected affiliation.
3 days ago wenzelm 2017-03-19 updated to jedit-5.4.0;
3 days ago wenzelm 2017-03-19 misc tuning and modernization;
...
tags
3 months ago Isabelle2016-1
13 months ago Isabelle2016
22 months ago 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
2 days ago 27144776aefe default
...