src/Tools/Code/code_target.ML
2013-05-29 wenzelm 2013-05-29 make SML/NJ happy;
2013-05-26 wenzelm 2013-05-26 tuned;
2013-05-24 haftmann 2013-05-24 bookkeeping and input syntax for exact specification of names of symbols in generated code
2013-05-24 haftmann 2013-05-24 use generic data for code symbols for unified "code_printing" syntax for custom serialisations
2013-05-19 haftmann 2013-05-19 tuned, including signature
2013-04-10 wenzelm 2013-04-10 more standard module name Axclass (according to file name);
2013-01-08 wenzelm 2013-01-08 tuned -- prefer high-level Table.merge with its slightly more conservative update;
2012-07-27 haftmann 2012-07-27 evaluation: allow multiple code modules
2012-07-21 haftmann 2012-07-21 also consider current working directory (cf. 3a5a5a992519)
2012-07-19 haftmann 2012-07-19 export code relatively to master directory
2012-04-19 haftmann 2012-04-19 dropped dead code; tuned
2012-03-23 wenzelm 2012-03-23 tuned;
2012-03-16 wenzelm 2012-03-16 outer syntax command definitions based on formal command_spec derived from theory header declarations;
2012-03-15 wenzelm 2012-03-15 prefer formally checked @{keyword} parser;
2012-03-15 wenzelm 2012-03-15 declare minor keywords via theory header;
2012-02-23 wenzelm 2012-02-23 clarified Graph.restrict (formerly Graph.subgraph) based on public graph operations;
2011-09-06 bulwahn 2011-09-06 avoid "Code" as structure name (cf. 3bc39cfe27fe)
2011-07-16 wenzelm 2011-07-16 moved bash operations to Isabelle_System (cf. Scala version);
2011-06-27 wenzelm 2011-06-27 document antiquotations are managed as theory data, with proper name space and entity markup;
2011-06-09 wenzelm 2011-06-09 discontinued Name.variant to emphasize that this is old-style / indirect;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-04-16 wenzelm 2011-04-16 prefer local name spaces; tuned signatures; tuned;
2011-03-13 wenzelm 2011-03-13 allow spaces in executable names; simplified generated bash scripts;
2011-03-13 wenzelm 2011-03-13 tuned;
2010-12-21 haftmann 2010-12-21 tuned names
2010-12-21 haftmann 2010-12-21 only depend on exisiting statements
2010-12-21 haftmann 2010-12-21 evaluator separating static and dynamic operations
2010-12-21 haftmann 2010-12-21 more explicit structure for serializer invocation
2010-12-20 wenzelm 2010-12-20 slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version); more robust rm_tree -- somewhat dangerous and not exported; tuned;
2010-10-01 haftmann 2010-10-01 check whole target hierarchy for existing reserved symbols
2010-09-28 haftmann 2010-09-28 consider quick_and_dirty option before loading theory
2010-09-24 haftmann 2010-09-24 dropped dead code
2010-09-23 haftmann 2010-09-23 reverted cs 07549694e2f1 -- use re-printing with current print mode instead after code assembly, avoid Latex.output_typewriter
2010-09-23 haftmann 2010-09-23 shifted abstraction over imperative print mode
2010-09-23 haftmann 2010-09-23 improved and tuned external codegen tool
2010-09-17 haftmann 2010-09-17 closures separate serializer initialization from serializer invocation as far as appropriate
2010-09-16 haftmann 2010-09-16 added code_stmts antiquotation from doc-src/more_antiquote.ML
2010-09-04 haftmann 2010-09-04 dropped names from serializer interface
2010-09-02 haftmann 2010-09-02 hand out deresolver from serializer invocation
2010-09-02 haftmann 2010-09-02 dropped superfluous presentation names
2010-09-02 haftmann 2010-09-02 manage statement selection for presentation wholly through markup
2010-09-02 haftmann 2010-09-02 formal markup of generated code for statements
2010-09-02 haftmann 2010-09-02 formal framework for presentation of selected statements
2010-08-31 haftmann 2010-08-31 repaired casual accident; tuned names
2010-08-31 haftmann 2010-08-31 avoid strange special treatment of empty module names
2010-08-31 haftmann 2010-08-31 distinguish code production and code presentation
2010-08-31 haftmann 2010-08-31 dropped single_module parameter
2010-08-31 haftmann 2010-08-31 tuned
2010-08-31 haftmann 2010-08-31 record argument for serializers
2010-08-31 haftmann 2010-08-31 tuned serializer argument interface
2010-08-31 haftmann 2010-08-31 removed serializer interface redundancies
2010-08-31 haftmann 2010-08-31 more coherent naming of syntax data structures
2010-08-31 haftmann 2010-08-31 dropped legacy interfaces
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 tuned file interface
2010-08-30 haftmann 2010-08-30 tuned
2010-08-30 haftmann 2010-08-30 eliminated some obscure higher-order arguments
2010-08-30 haftmann 2010-08-30 width is a formal parameter of serialization