descriptionThe Isabelle repository
ownerisabelle
last changeThu, 30 Oct 2014 23:14:11 +0100
changes
9 hours ago wenzelm 2014-10-30 merged default tip
9 hours ago wenzelm 2014-10-30 eliminated aliases;
15 hours ago wenzelm 2014-10-30 eliminated aliases;
16 hours ago wenzelm 2014-10-30 eliminated aliases;
16 hours ago wenzelm 2014-10-30 tuned spelling;
16 hours ago wenzelm 2014-10-30 hardwired imitation of copy.shortcut2 default;
11 hours ago haftmann 2014-10-30 more simp rules concerning dvd and even/odd
14 hours ago paulson 2014-10-30 choose_reduce_nat: re-ordered operands
21 hours ago wenzelm 2014-10-30 make SML/NJ more happy;
21 hours ago wenzelm 2014-10-30 proper syntax categery "name" -- as usual and as documented;
...
tags
2 months ago Isabelle2014
11 months ago Isabelle2013-2
11 months ago Isabelle2013-1
20 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
9 hours ago f4bb3068d819 default
...