descriptionThe Isabelle repository
ownerisabelle
last changeMon, 15 Sep 2014 18:12:09 +0200
changes
19 hours ago blanchet 2014-09-15 tuning default tip
19 hours ago blanchet 2014-09-15 refactoring
20 hours ago blanchet 2014-09-15 tuning
21 hours ago blanchet 2014-09-15 set 'mono' attribute on 'rel_mono'
21 hours ago blanchet 2014-09-15 'code' is needed for extraction datatype
22 hours ago blanchet 2014-09-15 tuning
24 hours ago blanchet 2014-09-15 removed accidental '@{print}'
25 hours ago blanchet 2014-09-15 tuning
25 hours ago blanchet 2014-09-15 more hints on how to port 'size'
25 hours ago blanchet 2014-09-15 tuned definition of 'size' function to get nicer properties
...
tags
4 weeks ago Isabelle2014
9 months ago Isabelle2013-2
10 months ago Isabelle2013-1
19 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
19 hours ago 272ad6a47d6d default
...