isabelle: Changelog

ballarin [Wed, 22 Jan 2014 21:14:27 +0100] rev 55117

Locales paper has appeared in print.

wenzelm [Wed, 22 Jan 2014 17:22:26 +0100] rev 55116

tuned spelling;

wenzelm [Wed, 22 Jan 2014 17:22:08 +0100] rev 55115

removed junk;

wenzelm [Wed, 22 Jan 2014 17:14:27 +0100] rev 55114

merged

wenzelm [Wed, 22 Jan 2014 17:14:09 +0100] rev 55113

tuned;

wenzelm [Wed, 22 Jan 2014 17:02:05 +0100] rev 55112

prefer rail cartouche -- avoid back-slashed quotes; proper documentation of \<newline> syntax;

wenzelm [Wed, 22 Jan 2014 16:03:11 +0100] rev 55111

tuned signature;

wenzelm [Wed, 22 Jan 2014 15:28:19 +0100] rev 55110

avoid breakdown of document preparation, which does not understand cartouche tokens yet;

wenzelm [Wed, 22 Jan 2014 15:11:10 +0100] rev 55109

more cartouche examples, including uniform nesting of sub-languages;

wenzelm [Wed, 22 Jan 2014 15:10:33 +0100] rev 55108

inner syntax token language allows regular quoted strings; tuned signature;

isabelle