isabelle: File revisions

etc/options

Tue, 22 Jan 2013 11:28:54 +0100	wenzelm	more generous tracing limit, which is relevant for applications where this occurs routinely (e.g. HO unification trace);	file \| diff \| annotate
Thu, 03 Jan 2013 14:03:44 +0100	wenzelm	always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;	file \| diff \| annotate
Thu, 03 Jan 2013 13:54:45 +0100	wenzelm	improved Monitor_Dockable, based on ML_Statistics operations;	file \| diff \| annotate
Thu, 13 Dec 2012 19:53:55 +0100	wenzelm	smarter handling of tracing messages: prover process pauses and enters user dialog;	file \| diff \| annotate
Mon, 10 Dec 2012 16:06:57 +0100	wenzelm	more generous tracing limit -- rescaled in MB;	file \| diff \| annotate
Wed, 28 Nov 2012 17:18:53 +0100	wenzelm	some support for ML runtime statistics;	file \| diff \| annotate
Sun, 18 Nov 2012 19:01:30 +0100	wenzelm	isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release);	file \| diff \| annotate

isabelle