| Mon, 10 Jan 2011 16:07:16 +0100 | wenzelm | tuned string_of_int to avoid allocation for small integers; | changeset | files |
| Mon, 10 Jan 2011 15:45:46 +0100 | wenzelm | eliminated Int.toString; | changeset | files |
| Mon, 10 Jan 2011 15:30:17 +0100 | wenzelm | eliminated obsolete LargeInt -- Int is unbounded; | changeset | files |