isabelle: Changelog

wenzelm [Sat, 24 May 2008 20:05:21 +0200] rev 26981

use: explicit .ML;

wenzelm [Sat, 24 May 2008 14:47:43 +0200] rev 26980

ident: naive caching prevents potentially slow external invocations; tuned comments; tuned;

urbanc [Sat, 24 May 2008 02:19:09 +0200] rev 26979

fixed improper handling of return code (pdf and ps.gz formats)

wenzelm [Fri, 23 May 2008 21:20:26 +0200] rev 26978

add constants: set Markup.theory_nameN in tags;

wenzelm [Fri, 23 May 2008 21:18:47 +0200] rev 26977

added theory_nameN;

krauss [Fri, 23 May 2008 17:19:24 +0200] rev 26976

rearranged subsections

berghofe [Fri, 23 May 2008 16:41:39 +0200] rev 26975

Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that set print_mode and margin appropriately.

berghofe [Fri, 23 May 2008 16:37:57 +0200] rev 26974

Replaced Pretty.str and Pretty.string_of by specific functions that set print_mode and margin appropriately.

haftmann [Fri, 23 May 2008 16:10:25 +0200] rev 26973

temporary adjustment

haftmann [Fri, 23 May 2008 16:05:13 +0200] rev 26972

tuned

isabelle