jars: build Pure.jar;

scan: proper recovery for escaped \\< symbols;

basic setup for Scala material; added General/symbol.scala;

Basic support for Isabelle symbols.

added some abbrevs; \<euro>: from default font;

removed redundant "symbol" property; added "font" propery; disabled alternative letters (\<A> etc.) for now;

Default interpretation of some Isabelle symbols.

report antiquotation names; tuned messages;

fixed DOCTYPE -- XHTML is case-sensitive!

report antiquotation names;

added ML_antiq, doc_antiq;

added README;

generated truetype font;

The Jerusalem font from 2004 -- unicode version.

args: explicit groups for file_name, theory_name;

read_asts: Lexicon.report_token, filter Lexicon.is_proper; report tokens;

filter Lexicon.is_proper -- Lexicon.tokenize now includes improper tokens;

token_kind: add Space, Comment; tokenize: now includes improper tokens, cf. is_proper; added report_token;

renamed T.source_of' to T.source_position_of; tuned signature;

renamed T.source_of' to T.source_position_of;

output_markup: check Markup.is_none;

added is_none; added inner_comment;

Args.name_source(_position) for proper position information;

[source=false] for quoted antiquotation avoids quote-escapes in output;

report antiquotations;

tuned;

report ML_source;

renamed P.ml_source to P.ML_source;

report doc_source;

added ML_source, doc_source;