wneuper/isa: Changelog

wenzelm [Fri, 15 Aug 2008 21:57:22 +0200] rev 27903

scan: proper recovery for escaped \\< symbols;

wenzelm [Fri, 15 Aug 2008 21:56:07 +0200] rev 27902

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

wenzelm [Fri, 15 Aug 2008 21:53:40 +0200] rev 27901

Basic support for Isabelle symbols.

wenzelm [Fri, 15 Aug 2008 18:25:41 +0200] rev 27900

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

wenzelm [Fri, 15 Aug 2008 18:03:30 +0200] rev 27899

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

wenzelm [Fri, 15 Aug 2008 17:19:32 +0200] rev 27898

Default interpretation of some Isabelle symbols.

wenzelm [Fri, 15 Aug 2008 17:03:58 +0200] rev 27897

report antiquotation names;
tuned messages;

wenzelm [Fri, 15 Aug 2008 17:03:56 +0200] rev 27896

fixed DOCTYPE -- XHTML is case-sensitive!

wenzelm [Fri, 15 Aug 2008 17:03:55 +0200] rev 27895

report antiquotation names;

wenzelm [Fri, 15 Aug 2008 17:03:52 +0200] rev 27894

added ML_antiq, doc_antiq;

wneuper/isa