| Thu, 22 Nov 2001 23:15:12 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Nov 2001 17:14:17 +0100 | wenzelm | added uname; | changeset | files |
| Thu, 22 Nov 2001 17:13:36 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Nov 2001 17:13:24 +0100 | wenzelm | thm "point.defs"; | changeset | files |
| Thu, 22 Nov 2001 17:13:06 +0100 | wenzelm | recovered original "make"; | changeset | files |
| Thu, 22 Nov 2001 17:12:08 +0100 | wenzelm | renamed "fields" to "flds" (avoid clash with new "fields" operation); | changeset | files |
| Wed, 21 Nov 2001 20:20:18 +0100 | wenzelm | locale expressions; | changeset | files |
| Wed, 21 Nov 2001 00:36:51 +0100 | wenzelm | use tracing function for trace output; | changeset | files |
| Wed, 21 Nov 2001 00:35:13 +0100 | wenzelm | tracing_fn; | changeset | files |
| Wed, 21 Nov 2001 00:34:38 +0100 | wenzelm | added tracing, tracing_fn; | changeset | files |
| Wed, 21 Nov 2001 00:34:06 +0100 | wenzelm | Set.vimage; | changeset | files |
| Wed, 21 Nov 2001 00:33:40 +0100 | wenzelm | got rid of theory Inverse_Image; | changeset | files |