src/Tools/Code/code_target.ML
Fri, 17 Sep 2010 09:21:49 +0200 haftmann closures separate serializer initialization from serializer invocation as far as appropriate
Thu, 16 Sep 2010 17:31:51 +0200 haftmann added code_stmts antiquotation from doc-src/more_antiquote.ML
Sat, 04 Sep 2010 21:10:48 +0200 haftmann dropped names from serializer interface
Thu, 02 Sep 2010 19:08:48 +0200 haftmann hand out deresolver from serializer invocation
Thu, 02 Sep 2010 14:59:28 +0200 haftmann dropped superfluous presentation names
Thu, 02 Sep 2010 14:36:49 +0200 haftmann manage statement selection for presentation wholly through markup
Thu, 02 Sep 2010 13:58:16 +0200 haftmann formal markup of generated code for statements
Thu, 02 Sep 2010 12:30:22 +0200 haftmann formal framework for presentation of selected statements
Tue, 31 Aug 2010 19:14:18 +0200 haftmann repaired casual accident; tuned names
Tue, 31 Aug 2010 16:51:29 +0200 haftmann avoid strange special treatment of empty module names
Tue, 31 Aug 2010 15:21:42 +0200 haftmann distinguish code production and code presentation
Tue, 31 Aug 2010 15:08:04 +0200 haftmann dropped single_module parameter
Tue, 31 Aug 2010 14:43:27 +0200 haftmann tuned
Tue, 31 Aug 2010 14:21:06 +0200 haftmann record argument for serializers
Tue, 31 Aug 2010 14:06:20 +0200 haftmann tuned serializer argument interface
Tue, 31 Aug 2010 13:55:54 +0200 haftmann removed serializer interface redundancies
Tue, 31 Aug 2010 13:29:38 +0200 haftmann more coherent naming of syntax data structures
Tue, 31 Aug 2010 13:08:58 +0200 haftmann dropped legacy interfaces
Mon, 30 Aug 2010 17:20:33 +0200 haftmann tuned
Mon, 30 Aug 2010 16:42:54 +0200 haftmann tuned
Mon, 30 Aug 2010 16:33:06 +0200 haftmann tuned
Mon, 30 Aug 2010 16:25:04 +0200 haftmann tuned file interface
Mon, 30 Aug 2010 16:21:47 +0200 haftmann tuned
Mon, 30 Aug 2010 16:17:10 +0200 haftmann eliminated some obscure higher-order arguments
Mon, 30 Aug 2010 16:00:41 +0200 haftmann width is a formal parameter of serialization
Mon, 30 Aug 2010 15:01:32 +0200 haftmann whitespace tuning
Mon, 30 Aug 2010 14:48:25 +0200 haftmann tuned comment
Mon, 30 Aug 2010 09:28:02 +0200 haftmann code checking: compiler invocation happens in same directory as generated file -- avoid problem with different path representations on cygwin
Thu, 26 Aug 2010 20:14:24 +0200 haftmann proper passing of optional module name
Thu, 26 Aug 2010 13:50:58 +0200 haftmann tuned serializer interface
Mon, 26 Jul 2010 11:15:10 +0200 haftmann restored unusual snd-biased merge/join policy -- required due to non-conservative code setups
Wed, 21 Jul 2010 16:50:42 +0200 wenzelm merged
Mon, 19 Jul 2010 11:55:44 +0200 haftmann distinguish different classes of const syntax
Fri, 16 Jul 2010 15:55:32 +0200 haftmann consolidate const_syntax naming
Tue, 20 Jul 2010 23:09:49 +0200 wenzelm discontinued pervasive val theory = Thy_Info.get_theory -- prefer antiquotations in most situations;
Fri, 16 Jul 2010 14:11:08 +0200 haftmann tuned
Fri, 16 Jul 2010 13:57:29 +0200 haftmann restored long-broken syntax sanity checks
Wed, 14 Jul 2010 16:02:50 +0200 haftmann explicit optional checking
Wed, 14 Jul 2010 15:49:29 +0200 haftmann added Isar syntax for code checking
Wed, 14 Jul 2010 15:08:02 +0200 haftmann use generic description slot for formal code checking
Wed, 14 Jul 2010 14:53:44 +0200 haftmann formal slot for code checker
Wed, 14 Jul 2010 14:20:47 +0200 haftmann check without explicit path
Wed, 14 Jul 2010 09:42:44 +0200 haftmann redirect stderr to stdout
Thu, 08 Jul 2010 16:41:57 +0200 haftmann dropped ancient in-place compilation of SML
Thu, 08 Jul 2010 16:19:24 +0200 haftmann checking generated code for various target languages
Thu, 24 Jun 2010 14:31:01 +0200 wenzelm slightly more standard data merge: Symtax.merge (K true) avoids equality on abstract type Pretty.T and gracefully accepts overriding, Symtab.join prefers first entry as usual;
Mon, 17 May 2010 23:54:15 +0200 wenzelm prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
Mon, 17 May 2010 15:11:25 +0200 wenzelm renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
Thu, 29 Apr 2010 15:00:43 +0200 haftmann repaired subtle misunderstanding: statement names are only passed for name resolution
Wed, 28 Apr 2010 15:17:13 +0200 haftmann exported cert_tyco, read_tyco
Wed, 21 Apr 2010 15:20:57 +0200 haftmann optionally ignore errors during translation of equations
Tue, 13 Apr 2010 11:13:52 +0200 haftmann dropped dead code
Mon, 04 Jan 2010 14:09:58 +0100 haftmann modernized
Wed, 23 Dec 2009 08:31:15 +0100 haftmann reduced code generator cache to the baremost minimum
Mon, 21 Dec 2009 08:32:04 +0100 haftmann clarified various user-defined syntax issues
Mon, 14 Dec 2009 10:13:06 +0100 haftmann made sml/nj happy
Fri, 11 Dec 2009 20:32:49 +0100 haftmann default_code_width is now proper theory data
Mon, 07 Dec 2009 11:48:40 +0100 haftmann tuned inner structure
Mon, 30 Nov 2009 12:28:12 +0100 haftmann dropped some unused bindings
Sun, 08 Nov 2009 18:43:42 +0100 wenzelm adapted Theory_Data;
less more (0) -60 tip