| Sat, 08 Dec 2007 21:20:05 +0100 | wenzelm | text_of: make double sure that result is well-formed, to avoid recurrent failures; | changeset | files |
| Sat, 08 Dec 2007 21:14:51 +0100 | wenzelm | ML_OPTIONS="-H 1000" -- potentially works around GC core dump; | changeset | files |
| Fri, 07 Dec 2007 22:19:53 +0100 | wenzelm | added off-line parse; | changeset | files |
| Fri, 07 Dec 2007 22:19:51 +0100 | wenzelm | (alt)string: allow explicit character codes (as in ML); | changeset | files |