| Sat, 14 Apr 2007 17:36:18 +0200 | wenzelm | removed redundant string_of_vname (see term.ML); | file | diff | annotate |
| Tue, 03 Apr 2007 19:24:21 +0200 | wenzelm | avoid overloaded integer constants (accomodate Alice); | file | diff | annotate |
| Fri, 15 Dec 2006 00:08:06 +0100 | wenzelm | avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert; | file | diff | annotate |
| Tue, 12 Dec 2006 00:25:09 +0100 | wenzelm | read_xnum: return leading_zeros, radix; | file | diff | annotate |
| Mon, 11 Dec 2006 21:41:03 +0100 | wenzelm | xstr: disallow backslashes; | file | diff | annotate |
| Thu, 21 Sep 2006 19:04:20 +0200 | wenzelm | member (op =); | file | diff | annotate |
| Wed, 02 Aug 2006 22:27:07 +0200 | wenzelm | renamed Syntax.indexname to Syntax.read_indexname; | file | diff | annotate |