isabelle: Changelog

wenzelm [Sun, 21 Oct 2001 19:36:12 +0200] rev 11859

Types/document/Typedefs;

wenzelm [Sun, 21 Oct 2001 19:35:40 +0200] rev 11858

renamed Typedef.thy to Typedefs.thy (former already present in main HOL);

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;

isabelle