descriptionThe Isabelle repository
ownerisabelle
last changeFri, 24 May 2013 23:57:24 +0200
changes
2 hours ago haftmann 2013-05-24 bookkeeping and input syntax for exact specification of names of symbols in generated code default tip
2 hours ago haftmann 2013-05-24 use generic data for code symbols for unified "code_printing" syntax for custom serialisations
2 hours ago haftmann 2013-05-24 dedicated module for code symbol data
2 hours ago haftmann 2013-05-24 symbol data covers class relations also
4 hours ago wenzelm 2013-05-24 merged
9 hours ago wenzelm 2013-05-24 proper internal error, not user error;
9 hours ago wenzelm 2013-05-24 tuned;
9 hours ago wenzelm 2013-05-24 tuned signature;
9 hours ago wenzelm 2013-05-24 tuned;
10 hours ago wenzelm 2013-05-24 unify types of bound variables in the same manner as Unify.new_dpair (which emphatically "Tries to unify types of the bound variables!");
...
tags
3 months ago Isabelle2013
12 months ago Isabelle2012
19 months ago Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
2009-04-16 Isabelle2009
2008-06-08 Isabelle2008
2007-11-22 Isabelle2007
2005-09-30 Isabelle2005
...
branches
2 hours ago e21426f244aa default
...