isabelle: Changelog

wenzelm [Sat, 20 Oct 2001 20:22:17 +0200] rev 11855

include document graph;

wenzelm [Sat, 20 Oct 2001 20:21:40 +0200] rev 11854

document graph option;

wenzelm [Sat, 20 Oct 2001 20:21:14 +0200] rev 11853

conditional: bool -> (unit -> unit) -> unit; std_error: string -> unit;

wenzelm [Sat, 20 Oct 2001 20:20:41 +0200] rev 11852

added TextIO.stdErr;

wenzelm [Sat, 20 Oct 2001 20:20:21 +0200] rev 11851

include document graph; tuned;

wenzelm [Sat, 20 Oct 2001 20:19:47 +0200] rev 11850

document graphs for several sessions;

wenzelm [Sat, 20 Oct 2001 20:18:57 +0200] rev 11849

tuned;

wenzelm [Sat, 20 Oct 2001 20:18:45 +0200] rev 11848

calculational rules moved from FOL to IFOL;

wenzelm [Sat, 20 Oct 2001 20:18:19 +0200] rev 11847

option -g for document graph; removed all presumptions about -d/-D (handled by isabelle process);

wenzelm [Sat, 20 Oct 2001 20:16:55 +0200] rev 11846

option -q also excludes -v true in generated stuff; tuned message;

isabelle