src/Tools/Code/code_target.ML
2010-07-14 haftmann 2010-07-14 check without explicit path
2010-07-14 haftmann 2010-07-14 redirect stderr to stdout
2010-07-08 haftmann 2010-07-08 dropped ancient in-place compilation of SML
2010-07-08 haftmann 2010-07-08 checking generated code for various target languages
2010-06-24 wenzelm 2010-06-24 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;
2010-05-17 wenzelm 2010-05-17 prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; eliminated old-style structure aliases K = Keyword, P = Parse;
2010-05-17 wenzelm 2010-05-17 renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time; eliminated slightly odd alias structure T;
2010-04-29 haftmann 2010-04-29 repaired subtle misunderstanding: statement names are only passed for name resolution
2010-04-28 haftmann 2010-04-28 exported cert_tyco, read_tyco
2010-04-21 haftmann 2010-04-21 optionally ignore errors during translation of equations
2010-04-13 haftmann 2010-04-13 dropped dead code
2010-01-04 haftmann 2010-01-04 modernized
2009-12-23 haftmann 2009-12-23 reduced code generator cache to the baremost minimum
2009-12-21 haftmann 2009-12-21 clarified various user-defined syntax issues
2009-12-14 haftmann 2009-12-14 made sml/nj happy
2009-12-11 haftmann 2009-12-11 default_code_width is now proper theory data
2009-12-07 haftmann 2009-12-07 tuned inner structure
2009-11-30 haftmann 2009-11-30 dropped some unused bindings
2009-11-08 wenzelm 2009-11-08 adapted Theory_Data; tuned;
2009-10-17 wenzelm 2009-10-17 indicate CRITICAL nature of various setmp combinators;
2009-10-08 haftmann 2009-10-08 moved labelled_name to code_thingol
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-07 haftmann 2009-07-07 tuned interface of structure Code
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories