descriptionThe Isabelle repository
ownerisabelle
last changeTue, 31 May 2016 11:45:34 +1000
changes
2 hours ago matichuk 2016-05-31 allow multiple recursive methods to co-exist in order to support mutual recursion; default tip
21 hours ago matichuk 2016-05-30 apply current morphism to method text before evaluating;
8 hours ago wenzelm 2016-05-30 merged
8 hours ago wenzelm 2016-05-30 tuned;
15 hours ago wenzelm 2016-05-30 allow 'for' fixes for multi_specs;
18 hours ago wenzelm 2016-05-30 unused;
38 hours ago wenzelm 2016-05-29 clarified check_open_spec / read_open_spec; allow 'for' fixes in 'abbreviation', 'definition';
2 days ago wenzelm 2016-05-28 tuned;
2 days ago wenzelm 2016-05-28 clarified 'axiomatization';
2 days ago wenzelm 2016-05-28 clarified axiomatization;
...
tags
3 months ago Isabelle2016
12 months ago Isabelle2015
21 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
2 hours ago dc221b8945f2 default
...