Wed, 29 Apr 2009 14:20:26 +0200 | haftmann | farewell to class recpower | file | diff | annotate |
Thu, 23 Apr 2009 12:17:51 +0200 | haftmann | adaptions due to rearrangment of power operation | file | diff | annotate |
Thu, 05 Mar 2009 14:29:02 +0100 | wenzelm | fixed proofs -- follow-up to ecd6f0ca62ea; | file | diff | annotate |
Fri, 24 Oct 2008 17:48:37 +0200 | haftmann | new classes "top" and "bot" | file | diff | annotate |
Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
Fri, 25 Jul 2008 12:03:34 +0200 | haftmann | added class preorder | file | diff | annotate |
Wed, 02 Jan 2008 15:14:17 +0100 | haftmann | removed some legacy instantiations | file | diff | annotate |
Thu, 29 Nov 2007 17:08:26 +0100 | haftmann | instance command as rudimentary class target | file | diff | annotate |
Tue, 06 Nov 2007 17:44:53 +0100 | krauss | moved stuff about size change termination to its own session | file | diff | annotate |