isabelle: Changelog

noschinl [Sat, 25 May 2013 13:59:08 +0200] rev 52139

add lemma

haftmann [Fri, 24 May 2013 23:57:24 +0200] rev 52138

bookkeeping and input syntax for exact specification of names of symbols in generated code

haftmann [Fri, 24 May 2013 23:57:24 +0200] rev 52137

use generic data for code symbols for unified "code_printing" syntax for custom serialisations

haftmann [Fri, 24 May 2013 23:57:24 +0200] rev 52136

dedicated module for code symbol data

haftmann [Fri, 24 May 2013 23:57:24 +0200] rev 52135

symbol data covers class relations also

wenzelm [Fri, 24 May 2013 22:07:01 +0200] rev 52134

merged

wenzelm [Fri, 24 May 2013 17:14:06 +0200] rev 52133

proper internal error, not user error;

wenzelm [Fri, 24 May 2013 17:04:04 +0200] rev 52132

tuned;

wenzelm [Fri, 24 May 2013 17:00:46 +0200] rev 52131

tuned signature;

wenzelm [Fri, 24 May 2013 16:42:57 +0200] rev 52130

tuned;

isabelle