| Tue, 03 Mar 2009 12:12:38 +0100 | wenzelm | ignore "source" option in antiquotations @{ML}, @{ML_type}, @{ML_struct} -- did not really make sense, without it users can enable source mode globally with less surprises; | changeset | files |
| Tue, 03 Mar 2009 12:14:52 +1100 | Timothy Bourke | Implement Makarius's suggestion for improved type pattern parsing. | changeset | files |
| Mon, 02 Mar 2009 18:11:39 +1100 | Timothy Bourke | find_consts: fold in preference to foldl; hide internal constants; remove redundant exception catch | changeset | files |