isabelle: Changelog

krauss [Tue, 28 Sep 2010 09:43:13 +0200] rev 39753

added dependency to base images to ensure that the doc test actually rebuilds the tutorials

krauss [Tue, 28 Sep 2010 09:34:20 +0200] rev 39752

removed unnecessary reference poking (cf. f45d332a90e3)

haftmann [Tue, 28 Sep 2010 09:17:33 +0200] rev 39751

merged

haftmann [Tue, 28 Sep 2010 09:14:37 +0200] rev 39750

consider quick_and_dirty option before loading theory

krauss [Tue, 28 Sep 2010 08:38:20 +0200] rev 39749

dropped obsolete mk_tcl

blanchet [Tue, 28 Sep 2010 08:35:00 +0200] rev 39748

make SML/NJ happy

haftmann [Mon, 27 Sep 2010 16:32:48 +0200] rev 39747

merged

haftmann [Mon, 27 Sep 2010 16:27:32 +0200] rev 39746

combine quote and typewriter tag; typewriter considers isa@parindent

haftmann [Mon, 27 Sep 2010 16:27:31 +0200] rev 39745

combine quote and typewriter/tt tag

haftmann [Mon, 27 Sep 2010 16:19:37 +0200] rev 39744

combine quote and typewriter tag; typewriter considers isa@parindent

isabelle