src/Tools/Code/code_target.ML
Wed, 29 May 2013 10:47:42 +0200 wenzelm make SML/NJ happy;
Sun, 26 May 2013 21:05:03 +0200 wenzelm tuned;
Fri, 24 May 2013 23:57:24 +0200 haftmann bookkeeping and input syntax for exact specification of names of symbols in generated code
Fri, 24 May 2013 23:57:24 +0200 haftmann use generic data for code symbols for unified "code_printing" syntax for custom serialisations
Sun, 19 May 2013 20:15:00 +0200 haftmann tuned, including signature
Wed, 10 Apr 2013 15:30:19 +0200 wenzelm more standard module name Axclass (according to file name);
Tue, 08 Jan 2013 12:39:39 +0100 wenzelm tuned -- prefer high-level Table.merge with its slightly more conservative update;
less more (0) -30 -10 -7 tip