| Fri, 19 Jun 2009 17:23:21 +0200 | haftmann | discontinued ancient tradition to suffix certain ML module names with "_package" | file | diff | annotate |
| Tue, 19 May 2009 16:54:55 +0200 | haftmann | String.literal replaces message_string, code_numeral replaces (code_)index | file | diff | annotate |
| Wed, 13 May 2009 18:41:39 +0200 | haftmann | tuned construction of typerep instances | file | diff | annotate |
| Wed, 06 May 2009 16:01:06 +0200 | haftmann | refined HOL string theories and corresponding ML fragments | file | diff | annotate |
| Mon, 04 May 2009 14:49:46 +0200 | haftmann | class typerep inherits from type | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:01 +0100 | haftmann | tuned | file | diff | annotate |
| Thu, 04 Dec 2008 14:43:33 +0100 | haftmann | cleaned up binding module and related code | file | diff | annotate |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |