tuned SymbolPos interface;

YXML.parse: allow text without markup, potentially empty;

added content; simplified implode: interface and permissive padding via Position.distance_of; added range; renamed implode_delim to implode_range;

added distance_of (permissive version); added no_range; tuned;

count offset as well; more uniform treatment of invalid fields; tuned;

added offset/end_offset;

tuned formatting;

clean up dead code

made SML/NJ happy;

FundefLib.try_proof : attempt a proof and see if it works

added lemmas

inner_syntax markup is back;

disabled inner_syntax markup for now;

added read_token -- with optional YXML encoding of position; tuned parse operations: print position instead of echoing input (now encoded!); do not export obsolete read operation;

parse_token: use Syntax.read_token, pass full position information;

tuned;

map_default: more explicit scope;

datatype lexicon: alternative representation using nested Symtab.table;

simplified Antiquote signature;

more precise positions due to SymbolsPos.implode_delim; added source' for SymbolPos.T;

simplified Antiq: regular SymbolPos.text with position; renamed read_arguments to read_antiq; tuned;

renamed SymbolPos.scan_position to SymbolPos.scan_pos; implode/explode: explicit type text = string; added implode_delim; explode: Position.reset_range;

only increment column if valid; more robust handling of invalid entries; clarified line/line_file: no column here; added start = (1, 1); added reset_range; tuned;

install_pp Position.T;

Position.start;

SymbolPos.explode;

improved position handling due to SymbolPos.T;

improved position handling due to SymbolPos.T; SymbolPos.scan_comment; tuned;