| Mon, 07 Nov 2011 14:16:01 +0100 | blanchet | align columns in output and keep error log around | changeset | files |
| Mon, 07 Nov 2011 14:59:58 +0100 | wenzelm | offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables; | changeset | files |
| Mon, 07 Nov 2011 14:23:50 +0100 | wenzelm | clarified attribute "mono_set": pure declaration, proper export in ML; | changeset | files |
| Mon, 07 Nov 2011 14:14:20 +0100 | wenzelm | misc tuning; | changeset | files |
| Mon, 07 Nov 2011 12:08:22 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Sun, 06 Nov 2011 22:18:54 +0100 | blanchet | more millisecond cleanup | changeset | files |
| Sun, 06 Nov 2011 22:18:54 +0100 | blanchet | updated documentation | changeset | files |