wenzelm [Mon, 08 Apr 2013 14:18:39 +0200] rev 52771
more general Thy_Load.import_name, e.g. relevant for Isabelle/eclipse -- NB: Thy_Load serves as main hub for funny overriding to adapt to provers and editors;
blanchet [Mon, 08 Apr 2013 14:16:00 +0200] rev 52770
try to preserve original linearization
blanchet [Mon, 08 Apr 2013 12:27:13 +0200] rev 52769
use somewhat lighter encoding
blanchet [Mon, 08 Apr 2013 12:11:06 +0200] rev 52768
robustness w.r.t. unknown arguments
nipkow [Sun, 07 Apr 2013 15:08:34 +0200] rev 52767
cleaned
nipkow [Sun, 07 Apr 2013 10:06:37 +0200] rev 52766
cleaned
nipkow [Sat, 06 Apr 2013 18:42:55 +0200] rev 52765
tuned
wenzelm [Fri, 05 Apr 2013 20:54:55 +0200] rev 52764
tuned signature -- agree with markup terminology;
wenzelm [Fri, 05 Apr 2013 20:43:43 +0200] rev 52763
unified terminology with Markup.DOCUMENT_SOURCE in Scala, which is unused but displayed as "document source" entity in Isabelle/jEdit;
nipkow [Fri, 05 Apr 2013 18:31:35 +0200] rev 52762
tuned document