src/Tools/Code/code_target.ML
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;
Fri, 27 Jul 2012 22:26:38 +0200 haftmann evaluation: allow multiple code modules
Sat, 21 Jul 2012 20:01:16 +0200 haftmann also consider current working directory (cf. 3a5a5a992519)
Thu, 19 Jul 2012 22:21:59 +0200 haftmann export code relatively to master directory
less more (0) -30 -10 -7 tip