| Tue, 10 Mar 1998 13:24:11 +0100 | nipkow | New simplifier flag for mutual simplification. | changeset | files |
| Tue, 10 Mar 1998 13:23:35 +0100 | nipkow | Removed expand_split from simpset. | changeset | files |
| Mon, 09 Mar 1998 16:30:55 +0100 | wenzelm | removed pred; | changeset | files |
| Mon, 09 Mar 1998 16:17:28 +0100 | wenzelm | eliminated pred function; | changeset | files |
| Mon, 09 Mar 1998 16:16:21 +0100 | wenzelm | Symbol.explode; | changeset | files |
| Mon, 09 Mar 1998 16:15:24 +0100 | wenzelm | replaced $LOGNAME by $USER; | changeset | files |
| Mon, 09 Mar 1998 16:14:46 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Mar 1998 16:14:32 +0100 | wenzelm | Symbol.is_*; | changeset | files |
| Mon, 09 Mar 1998 16:14:15 +0100 | wenzelm | adapted to new scanner, baroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:13:21 +0100 | wenzelm | Symbol.input; | changeset | files |
| Mon, 09 Mar 1998 16:12:39 +0100 | wenzelm | adapted to symbols, scan; | changeset | files |
| Mon, 09 Mar 1998 16:12:19 +0100 | wenzelm | Generic scanners (for potentially infinite input) -- replaces Scanner; | changeset | files |
| Mon, 09 Mar 1998 16:11:50 +0100 | wenzelm | adapted to new scanner and abroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:11:28 +0100 | wenzelm | read_var; | changeset | files |
| Mon, 09 Mar 1998 16:11:13 +0100 | wenzelm | Symbol.output; | changeset | files |
| Mon, 09 Mar 1998 16:10:57 +0100 | wenzelm | tuned syntax error msg; | changeset | files |
| Mon, 09 Mar 1998 16:10:38 +0100 | wenzelm | Symbol.explode; | changeset | files |
| Mon, 09 Mar 1998 16:10:22 +0100 | wenzelm | scan.ML, symbol.ML; | changeset | files |
| Mon, 09 Mar 1998 16:09:56 +0100 | wenzelm | adapted to new scanners and baroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:09:32 +0100 | wenzelm | tuned some names; | changeset | files |
| Mon, 09 Mar 1998 16:09:06 +0100 | wenzelm | adapted to baroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:08:37 +0100 | wenzelm | added merge_alists; | changeset | files |
| Mon, 09 Mar 1998 16:08:06 +0100 | wenzelm | Syntax.indexname; | changeset | files |
| Mon, 09 Mar 1998 16:07:22 +0100 | wenzelm | tuned comment; | changeset | files |