nipkow [Mon, 09 Mar 2009 09:38:36 +0100] rev 30372
UN syntax fix
nipkow [Mon, 09 Mar 2009 09:24:50 +0100] rev 30371
merged
nipkow [Mon, 09 Mar 2009 09:24:31 +0100] rev 30370
Docs updates
wenzelm [Sun, 08 Mar 2009 21:35:39 +0100] rev 30369
use simplified ThyOutput.antiquotation;
eliminated obscure structure alias;
wenzelm [Sun, 08 Mar 2009 21:12:37 +0100] rev 30368
added (raw_)antiquotation -- simplified wrapper for defining output commands;
wenzelm [Sun, 08 Mar 2009 20:31:54 +0100] rev 30367
simplified presentation: pass state directly;
wenzelm [Sun, 08 Mar 2009 20:31:01 +0100] rev 30366
simplified presentation: built into transaction, pass state directly;
wenzelm [Sun, 08 Mar 2009 17:37:18 +0100] rev 30365
adapted to structure Long_Name;
wenzelm [Sun, 08 Mar 2009 17:26:14 +0100] rev 30364
moved basic algebra of long names from structure NameSpace to Long_Name;
wenzelm [Sun, 08 Mar 2009 17:19:15 +0100] rev 30363
proper local context for text with antiquotations;