| Thu, 06 May 2004 14:17:07 +0200 | wenzelm | show_structs option; | file | diff | annotate |
| Sat, 01 May 2004 21:58:52 +0200 | wenzelm | breaks flag; | file | diff | annotate |
| Fri, 16 Apr 2004 20:59:09 +0200 | wenzelm | 'instance' and intro_classes now handle general sorts; | file | diff | annotate |