descriptionThe Isabelle repository
ownerisabelle
last changeMon, 25 Jul 2016 14:02:29 +0200
changes
3 hours ago wenzelm 2016-07-25 unused (see 1e9e68247ad1); default tip
6 hours ago wenzelm 2016-07-25 merged
2 days ago wenzelm 2016-07-22 misc tuning and modernization;
2 days ago wenzelm 2016-07-22 misc tuning and modernization;
2 days ago wenzelm 2016-07-22 clarified def vs. ref focus, e.g. for calculation vs. command refs;
3 days ago wenzelm 2016-07-22 entity markup for calculation;
3 days ago wenzelm 2016-07-22 tuned;
3 days ago wenzelm 2016-07-22 more markup for unstructured calculation;
3 days ago wenzelm 2016-07-22 tuned proofs -- avoid unstructured calculation;
3 days ago wenzelm 2016-07-22 tuned proofs -- avoid improper use of "this";
...
tags
5 months ago Isabelle2016
14 months ago Isabelle2015
23 months ago Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
...
branches
3 hours ago 6c2c16fef8f1 default
...