src/Tools/code/code_package.ML
Thu, 29 May 2008 13:27:13 +0200 haftmann yet another attempt to circumvent printmode problems
Wed, 28 May 2008 12:24:48 +0200 haftmann fixed utterly wrong print mode handling
Wed, 28 May 2008 12:06:49 +0200 haftmann new serializer interface
Sun, 18 May 2008 15:04:09 +0200 wenzelm moved global pretty/string_of functions from Sign to Syntax;
Tue, 22 Apr 2008 22:00:31 +0200 haftmann more general evaluation combinators
Wed, 16 Apr 2008 21:52:58 +0200 wenzelm Facts.dest_static;
Tue, 15 Apr 2008 18:49:15 +0200 wenzelm Facts.dest_table;
Thu, 10 Apr 2008 14:53:31 +0200 wenzelm added read_const_exprs (from Pure/Isar/code_unit.ML);
Thu, 10 Apr 2008 13:24:21 +0200 wenzelm replaced Isar.toplevel by Toplevel.program;
Wed, 19 Mar 2008 22:27:57 +0100 wenzelm renamed datatype thmref to Facts.ref, tuned interfaces;
Sat, 15 Mar 2008 18:08:54 +0100 wenzelm removed obsolete PureThy.thms_containing;
Fri, 22 Feb 2008 12:01:57 +0100 haftmann non-operative code antiquotation
Tue, 29 Jan 2008 10:20:00 +0100 haftmann cleaned up evaluation interfaces
Fri, 25 Jan 2008 14:54:49 +0100 haftmann tuned
Mon, 21 Jan 2008 08:43:35 +0100 haftmann tuned
Thu, 13 Dec 2007 07:08:59 +0100 haftmann isatool codegen now returns exit value
Mon, 10 Dec 2007 11:24:15 +0100 haftmann moved instance parameter management from class.ML to axclass.ML
Wed, 28 Nov 2007 09:01:42 +0100 haftmann tuned interfaces of class module
Fri, 19 Oct 2007 23:21:15 +0200 wenzelm export_code: proper command;
Thu, 11 Oct 2007 19:10:17 +0200 wenzelm moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML);
Thu, 11 Oct 2007 16:05:56 +0200 wenzelm replaced Sign.add_consts_authentic by Sign.declare_const;
Mon, 08 Oct 2007 22:03:31 +0200 haftmann moved translation kernel to CodeThingol
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
Thu, 04 Oct 2007 19:54:44 +0200 haftmann certificates for code generator case expressions
Thu, 04 Oct 2007 19:41:49 +0200 haftmann clarified relationship of code generator conversions and evaluations
Tue, 02 Oct 2007 07:59:55 +0200 haftmann clarified role of class relations
Sun, 30 Sep 2007 16:20:31 +0200 wenzelm Sign.add_consts_authentic: tags (Markup.property list);
Thu, 20 Sep 2007 16:37:34 +0200 haftmann more precise treatment of free dictionary parameters for evaluation
Tue, 18 Sep 2007 07:36:12 +0200 haftmann clarified evaluation code
Sat, 15 Sep 2007 19:27:40 +0200 haftmann tuned
less more (0) -30 tip