isabelle: Changelog

blanchet [Mon, 08 Apr 2013 12:27:13 +0200] rev 51632

use somewhat lighter encoding

blanchet [Mon, 08 Apr 2013 12:11:06 +0200] rev 51631

robustness w.r.t. unknown arguments

nipkow [Sun, 07 Apr 2013 15:08:34 +0200] rev 51630

cleaned

nipkow [Sun, 07 Apr 2013 10:06:37 +0200] rev 51629

cleaned

nipkow [Sat, 06 Apr 2013 18:42:55 +0200] rev 51628

tuned

wenzelm [Fri, 05 Apr 2013 20:54:55 +0200] rev 51627

tuned signature -- agree with markup terminology;

wenzelm [Fri, 05 Apr 2013 20:43:43 +0200] rev 51626

unified terminology with Markup.DOCUMENT_SOURCE in Scala, which is unused but displayed as "document source" entity in Isabelle/jEdit;

nipkow [Fri, 05 Apr 2013 18:31:35 +0200] rev 51625

tuned document

nipkow [Fri, 05 Apr 2013 15:13:25 +0200] rev 51624

tuned

haftmann [Thu, 04 Apr 2013 22:46:14 +0200] rev 51623

sup on multisets

isabelle