isabelle: Changelog

nipkow [Sun, 04 Dec 2011 18:29:16 +0100] rev 45746

improved var names

nipkow [Sat, 03 Dec 2011 21:25:34 +0100] rev 45745

invariant holds before loop

wenzelm [Sat, 03 Dec 2011 13:11:50 +0100] rev 45744

caret_range based on BreakIterator, which handles combined unicode characters as well;

wenzelm [Fri, 02 Dec 2011 16:37:35 +0100] rev 45743

misc tuning;

wenzelm [Fri, 02 Dec 2011 16:24:48 +0100] rev 45742

some localization;

wenzelm [Fri, 02 Dec 2011 15:23:27 +0100] rev 45741

eliminated some legacy operations;

wenzelm [Fri, 02 Dec 2011 14:54:25 +0100] rev 45740

more antiquotations;

wenzelm [Fri, 02 Dec 2011 14:37:25 +0100] rev 45739

tuned whitespace;

wenzelm [Fri, 02 Dec 2011 14:26:43 +0100] rev 45738

eliminated some legacy operations;

wenzelm [Fri, 02 Dec 2011 13:59:25 +0100] rev 45737

removed dead code, which has never been active in recorded history;

isabelle