descriptionThe Isabelle repository
ownerisabelle
last changeWed, 26 Nov 2014 15:59:46 +0100
changes
35 hours ago haftmann 2014-11-26 prefer abbrev for is_unit default tip
35 hours ago haftmann 2014-11-26 do not conceal inductive predicate names properly, following 4a3747517552
35 hours ago haftmann 2014-11-26 tuned
31 hours ago wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
34 hours ago wenzelm 2014-11-26 added ML antiquotation @{apply n} or @{apply n(k)};
35 hours ago wenzelm 2014-11-26 even more exception traces for Document.update, which goes through additional execution wrappers;
37 hours ago wenzelm 2014-11-26 more informative failure of protocol commands, with exception trace; eliminated obsolete Runtime.TERMINATE (left-over from former 'exit' command);
39 hours ago wenzelm 2014-11-26 load simple_thread.ML later, such that it benefits from redefined print_exception_trace;
2 days ago hoelzl 2014-11-25 tuned proof that pmfs are bnfs
2 days ago hoelzl 2014-11-25 projections of pair_pmf (by D. Traytel)
...
tags
3 months ago Isabelle2014
11 months ago Isabelle2013-2
12 months ago Isabelle2013-1
21 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
35 hours ago 67771d267ff2 default
...