| Mon, 04 Aug 2008 22:55:08 +0200 | wenzelm | added encode_range; | changeset | files |
| Mon, 04 Aug 2008 22:55:04 +0200 | wenzelm | added end_line, end_column properties; | changeset | files |
| Mon, 04 Aug 2008 22:55:00 +0200 | wenzelm | meta_subst: xsymbols make it work with clean Pure; | changeset | files |
| Mon, 04 Aug 2008 21:24:19 +0200 | wenzelm | abstract type Scan.stopper, position taken from last input token; | changeset | files |
| Mon, 04 Aug 2008 21:24:17 +0200 | wenzelm | abstract type Scan.stopper; | changeset | files |
| Mon, 04 Aug 2008 21:24:15 +0200 | wenzelm | abstract type stopper, may depend on final input; | changeset | files |
| Mon, 04 Aug 2008 20:27:40 +0200 | wenzelm | removed obsolete apply_theorems(_i); | changeset | files |