| Mon, 28 Jan 2008 22:27:27 +0100 | wenzelm | basic scanners: produce symbol list instead of imploded string; | changeset | files |
| Mon, 28 Jan 2008 22:27:27 +0100 | wenzelm | * Outer syntax: string tokens no longer admit escaped white space; | changeset | files |
| Mon, 28 Jan 2008 22:27:26 +0100 | wenzelm | location_of_position: Position.column_of (which counts Isabelle symbols, not characters); | changeset | files |
| Mon, 28 Jan 2008 22:27:24 +0100 | wenzelm | added count/counted: improved position handling for token syntax; | changeset | files |
| Mon, 28 Jan 2008 22:27:23 +0100 | wenzelm | added column field; | changeset | files |
| Mon, 28 Jan 2008 22:27:23 +0100 | wenzelm | T.count/counted: improved position handling for token syntax; | changeset | files |
| Mon, 28 Jan 2008 22:27:21 +0100 | wenzelm | added column property; | changeset | files |