| Wed, 05 Apr 2006 12:47:38 +0200 | paulson | pool of constants; definition expansion; current best settings | changeset | files |
| Fri, 31 Mar 2006 10:53:33 +0200 | paulson | removed some illegal characters: they were crashing SML/NJ | changeset | files |
| Fri, 31 Mar 2006 10:52:20 +0200 | paulson | Removal of unused code | changeset | files |
| Tue, 28 Mar 2006 16:48:18 +0200 | paulson | Simplified version of Jia's filter. Now all constants are pooled, rather than | changeset | files |
| Tue, 28 Mar 2006 12:11:33 +0200 | schirmer | renamed map_val to map_ran | changeset | files |
| Tue, 28 Mar 2006 12:05:45 +0200 | schirmer | added map_val, superseding map_at and substitute | changeset | files |
| Tue, 28 Mar 2006 10:13:51 +0200 | haftmann | some internal cleanup | changeset | files |
| Mon, 27 Mar 2006 18:10:02 +0200 | paulson | removed illegal character codes | changeset | files |