isabelle: Changelog

wenzelm [Tue, 11 Feb 2014 15:05:13 +0100] rev 55429

report (but ignore) markup within auxiliary files;

Andreas Lochbihler [Wed, 12 Feb 2014 10:59:25 +0100] rev 55428

merged

Andreas Lochbihler [Wed, 12 Feb 2014 09:06:04 +0100] rev 55427

make integer_of_char and char_of_integer work with NBE and code_simp

Andreas Lochbihler [Wed, 12 Feb 2014 08:56:38 +0100] rev 55426

make lifting setup for String.literal local to prevent transfer from replacing STR ''...'' literals

blanchet [Wed, 12 Feb 2014 10:20:31 +0100] rev 55425

[mq]: news

blanchet [Wed, 12 Feb 2014 08:37:28 +0100] rev 55424

remove hidden fact about hidden constant from code generator setup

blanchet [Wed, 12 Feb 2014 08:37:28 +0100] rev 55423

for extraction -- use the exhaust rule that's registered with 'datatype_realizer.ML'

blanchet [Wed, 12 Feb 2014 08:37:28 +0100] rev 55422

compile

blanchet [Wed, 12 Feb 2014 08:37:28 +0100] rev 55421

updated certificates

blanchet [Wed, 12 Feb 2014 08:37:28 +0100] rev 55420

tuned message

isabelle