descriptionThe Isabelle repository
ownerisabelle
last changeTue, 01 Sep 2015 17:25:36 +0200
changes
38 minutes ago wenzelm 2015-09-01 tuned -- avoid slightly odd @{cpat}; default tip
19 hours ago wenzelm 2015-08-31 support x86_64-windows;
19 hours ago wenzelm 2015-08-31 misc tuning and simplification;
19 hours ago wenzelm 2015-08-31 proper option, not catch-all pattern;
19 hours ago wenzelm 2015-08-31 support x86_64-windows;
20 hours ago wenzelm 2015-08-31 prefer symbols;
21 hours ago wenzelm 2015-08-31 prefer symbols;
21 hours ago wenzelm 2015-08-31 proper qualified naming;
21 hours ago wenzelm 2015-08-31 misc tuning and clarification;
22 hours ago wenzelm 2015-08-31 misc tuning and modernization;
...
tags
3 months ago Isabelle2015
12 months ago Isabelle2014
21 months ago Isabelle2013-2
22 months ago Isabelle2013-1
2013-02-11 Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
...
branches
38 minutes ago f6b0d827240e default
...