| Fri, 02 Mar 2007 12:35:20 +0100 | paulson | The first-order test now tests for the obscure case of a polymorphic constant like 1 being | changeset | files |
| Wed, 28 Feb 2007 22:05:46 +0100 | wenzelm | abbrev: be permissive after transformation; | changeset | files |
| Wed, 28 Feb 2007 22:05:44 +0100 | wenzelm | exported get_ss, map_ss; | changeset | files |
| Wed, 28 Feb 2007 22:05:43 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Feb 2007 22:05:43 +0100 | wenzelm | tuned ML setup; | changeset | files |
| Wed, 28 Feb 2007 22:05:41 +0100 | wenzelm | added @{const_name}, @{const_syntax}; | changeset | files |
| Wed, 28 Feb 2007 16:35:00 +0100 | krauss | more cleanup | changeset | files |