Tue, 10 Jan 2012 23:26:27 +0100 | wenzelm | clarified Isabelle_Rendering vs. physical painting; | file | diff | annotate |
Mon, 09 Jan 2012 23:11:28 +0100 | wenzelm | command status color via regular markup; | file | diff | annotate |
Thu, 01 Dec 2011 14:29:14 +0100 | wenzelm | clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover; | file | diff | annotate |
Tue, 29 Nov 2011 20:18:02 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Mon, 28 Nov 2011 22:05:32 +0100 | wenzelm | separate module for concrete Isabelle markup; | file | diff | annotate |
Mon, 28 Nov 2011 20:39:08 +0100 | wenzelm | renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module; | file | diff | annotate | base |