| Tue, 11 Oct 2005 15:04:11 +0200 | paulson | simplifying the treatment of clausification | changeset | files |
| Tue, 11 Oct 2005 15:03:36 +0200 | paulson | simplifying the treatment of nameless theorems | changeset | files |
| Tue, 11 Oct 2005 14:02:33 +0200 | wenzelm | expand: error on undefined/empty env variable; | changeset | files |
| Tue, 11 Oct 2005 14:02:32 +0200 | wenzelm | added assert; | changeset | files |
| Tue, 11 Oct 2005 13:30:17 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Oct 2005 13:28:08 +0200 | wenzelm | added string_of_pid; | changeset | files |
| Tue, 11 Oct 2005 13:28:07 +0200 | wenzelm | raw symbols: allow non-ASCII chars (e.g. UTF-8); | changeset | files |