| Sun, 15 Mar 2015 19:48:49 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 15 Mar 2015 19:39:31 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 15 Mar 2015 19:21:15 +0100 | wenzelm | hybrid use of command blobs: inlined errors and auxiliary files; | changeset | files |
| Sun, 15 Mar 2015 14:46:01 +0100 | wenzelm | more command categories, as in ML; | changeset | files |
| Sun, 15 Mar 2015 12:49:20 +0100 | wenzelm | more command categories, as in ML; | changeset | files |
| Sun, 15 Mar 2015 12:42:30 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 14 Mar 2015 21:16:29 +0100 | wenzelm | value-oriented user error, for well-defined Thy_Syntax.chop_common; | changeset | files |
| Sat, 14 Mar 2015 20:49:10 +0100 | wenzelm | more explicit exception User_Error, with value-oriented equality; | changeset | files |