isabelle: Changelog

wenzelm [Sat, 25 May 2013 15:00:53 +0200] rev 52142

updated keywords;

haftmann [Sat, 25 May 2013 15:44:29 +0200] rev 52141

weaker precendence of syntax for big intersection and union on sets

haftmann [Sat, 25 May 2013 15:44:08 +0200] rev 52140

tuned structure

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;

isabelle