Sun, 14 Oct 2007 00:18:09 +0200 | wenzelm | removed obsolete Class.class_of_locale/locale_of_class; | file | diff | annotate |
Fri, 12 Oct 2007 20:21:57 +0200 | wenzelm | more informative TheoryTarget.peek operation; | file | diff | annotate |
Fri, 12 Oct 2007 14:42:30 +0200 | haftmann | tuned | file | diff | annotate |
Tue, 09 Oct 2007 17:10:48 +0200 | wenzelm | renamed AxClass.get_definition to AxClass.get_info (again); | file | diff | annotate |
Mon, 08 Oct 2007 22:03:21 +0200 | haftmann | added proper subclass concept; improved class target | file | diff | annotate |