descriptionThe Isabelle repository
ownerisabelle
last changeMon, 22 Dec 2014 21:34:11 +0100
changes
6 hours ago wenzelm 2014-12-22 more accurate selection of sessions; default tip
6 hours ago wenzelm 2014-12-22 more accurate selection of sessions;
7 hours ago wenzelm 2014-12-22 discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
8 hours ago wenzelm 2014-12-22 more elementary Multithreading.synchronized;
9 hours ago wenzelm 2014-12-22 proper Synchronized.var; more atomic operations;
10 hours ago wenzelm 2014-12-22 removed remains from Proof General;
11 hours ago wenzelm 2014-12-22 obsolete;
11 hours ago wenzelm 2014-12-22 system option "pretty_margin" is superseded by "thy_output_margin";
12 hours ago wenzelm 2014-12-22 tuned;
13 hours ago wenzelm 2014-12-22 proper Synchronized.var;
...
tags
4 months ago Isabelle2014
12 months ago Isabelle2013-2
13 months ago Isabelle2013-1
22 months ago Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
2009-04-16 Isabelle2009
...
branches
6 hours ago dc41b77dcc8f default
...