isabelle: Changelog

wenzelm [Sun, 16 Feb 2014 14:18:14 +0100] rev 55511

antiquotations within plain text: Scala version in accordance to ML;

wenzelm [Sun, 16 Feb 2014 13:18:08 +0100] rev 55510

tuned signature -- emphasize line-oriented aspect;

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;

isabelle