| Fri, 24 May 2013 23:57:24 +0200 | haftmann | dedicated module for code symbol data | file | diff | annotate |
| Fri, 24 May 2013 23:57:24 +0200 | haftmann | symbol data covers class relations also | file | diff | annotate |
| Tue, 21 May 2013 12:03:05 +0200 | wenzelm | make SML/NJ happy; | file | diff | annotate |
| Mon, 20 May 2013 13:29:45 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 19 May 2013 20:15:00 +0200 | haftmann | infrastructure for generic data for code symbols (constants, type constructors, classes, instances) | file | diff | annotate |
| Sun, 19 May 2013 20:15:00 +0200 | haftmann | tuned and clarified | file | diff | annotate |
| Sun, 19 May 2013 20:15:00 +0200 | haftmann | tuned, including signature | file | diff | annotate |