isabelle: Changelog

wenzelm [Fri, 24 Sep 2010 15:37:36 +0200] rev 39686

isatest: indicate Isabelle version;

wenzelm [Fri, 24 Sep 2010 15:30:30 +0200] rev 39685

actually handle Type.TYPE_MATCH, not arbitrary exceptions;

wenzelm [Fri, 24 Sep 2010 15:14:55 +0200] rev 39684

merged

haftmann [Fri, 24 Sep 2010 15:11:38 +0200] rev 39683

prefer typewrite tag over raw latex environment

haftmann [Fri, 24 Sep 2010 15:11:38 +0200] rev 39682

avoid fragile tranclp syntax; corrected resolution; corrected typo

wenzelm [Fri, 24 Sep 2010 14:57:17 +0200] rev 39681

merged

haftmann [Fri, 24 Sep 2010 14:56:16 +0200] rev 39680

use typewriter tag instead of bare environment

haftmann [Fri, 24 Sep 2010 14:03:44 +0200] rev 39679

dropped dead code

haftmann [Fri, 24 Sep 2010 14:03:44 +0200] rev 39678

always add trailing newline for presentation

haftmann [Fri, 24 Sep 2010 14:03:43 +0200] rev 39677

corrected omission

isabelle