isabelle: Changelog

wenzelm [Mon, 21 Jun 2004 16:40:08 +0200] rev 14986

added certify_class/sort;

wenzelm [Mon, 21 Jun 2004 16:39:58 +0200] rev 14985

added >>> : transition list -> unit;

wenzelm [Mon, 21 Jun 2004 16:39:39 +0200] rev 14984

immediate_output;

wenzelm [Mon, 21 Jun 2004 16:39:18 +0200] rev 14983

avoid \...\;

wenzelm [Mon, 21 Jun 2004 16:39:09 +0200] rev 14982

File.quote_sysify_path;

kleing [Mon, 21 Jun 2004 10:25:57 +0200] rev 14981

Merged in license change from Isabelle2004

wenzelm [Sun, 20 Jun 2004 09:30:12 +0200] rev 14980

got rid of Output.output for default print mode;

wenzelm [Sun, 20 Jun 2004 09:28:35 +0200] rev 14979

added checkTimer;

wenzelm [Sun, 20 Jun 2004 09:27:40 +0200] rev 14978

added accumulated timing;

wenzelm [Sun, 20 Jun 2004 09:27:32 +0200] rev 14977

added escape, export encode_raw, default mode now trivial, tuned;

isabelle