isabelle: Changelog

wenzelm [Sat, 20 Oct 2001 22:07:44 +0200] rev 11857

got rid of separate root.tex;

wenzelm [Sat, 20 Oct 2001 20:23:37 +0200] rev 11856

graceful interpretation of -i/-d/-D options; verbose: additional messages/warnings; include document graph;

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;

isabelle