src/Tools/Code/code_target.ML
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