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