isabelle: Changelog

haftmann [Sun, 16 Feb 2014 13:56:48 +0100] rev 55509

eliminated odd dislocation of keyword declaration and implementation (leftover from 318cd8ac1817)

wenzelm [Sat, 15 Feb 2014 21:11:29 +0100] rev 55508

tuned whitespace;

wenzelm [Sat, 15 Feb 2014 21:09:48 +0100] rev 55507

removed odd comments -- inferred types are shown by Prover IDE;

wenzelm [Sat, 15 Feb 2014 18:48:43 +0100] rev 55506

removed dead code; tuned;

wenzelm [Sat, 15 Feb 2014 18:28:18 +0100] rev 55505

more uniform ML keyword markup; tuned;

wenzelm [Sat, 15 Feb 2014 17:10:57 +0100] rev 55504

merged

wenzelm [Sat, 15 Feb 2014 17:04:55 +0100] rev 55503

tuned;

wenzelm [Sat, 15 Feb 2014 16:55:48 +0100] rev 55502

clarified Isabelle/ML strings;

wenzelm [Sat, 15 Feb 2014 16:49:10 +0100] rev 55501

refined ML keyword styles;

wenzelm [Sat, 15 Feb 2014 16:27:58 +0100] rev 55500

isabelle-ml mode with separate token marker; clarified ML_Lex.gap_start: end-of-input counts as single newline;

isabelle