isabelle: Changelog

berghofe [Tue, 26 Oct 2004 16:32:09 +0200] rev 15261

Added preprocessors.

berghofe [Tue, 26 Oct 2004 16:31:09 +0200] rev 15260

Added setup for code generator.

berghofe [Tue, 26 Oct 2004 16:30:32 +0200] rev 15259

Added simple code generator.

berghofe [Tue, 26 Oct 2004 16:29:54 +0200] rev 15258

Removed code generator stuff. Code generation is now handled by code generator in typedef_package.

berghofe [Tue, 26 Oct 2004 16:26:53 +0200] rev 15257

Added call to Codegen.preprocess.

berghofe [Tue, 26 Oct 2004 16:25:41 +0200] rev 15256

Fixed problem with sorts in function make_casedists.

nipkow [Mon, 25 Oct 2004 17:19:17 +0200] rev 15255

fixed urls

aspinall [Sun, 24 Oct 2004 15:41:52 +0200] rev 15254

Simplification to symbol processing; put quotes around theory name in message.

aspinall [Thu, 21 Oct 2004 19:21:32 +0200] rev 15253

Fix <closetheory>

berghofe [Tue, 19 Oct 2004 22:45:20 +0200] rev 15252

Replaced PolyML specific print function by Display.print_thm(s)

isabelle