isabelle: File revisions

src/Pure/PIDE/isabelle_markup.scala

Tue, 07 Aug 2012 17:08:22 +0200	wenzelm	prefer static Build.session_content for loaded theories -- discontinued incremental protocol;	file \| diff \| annotate
Tue, 07 Aug 2012 16:34:15 +0200	wenzelm	prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;	file \| diff \| annotate
Tue, 29 May 2012 18:00:54 +0200	wenzelm	more explicit treatment of return code vs. session phase;	file \| diff \| annotate
Sat, 07 Apr 2012 19:28:44 +0200	wenzelm	added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);	file \| diff \| annotate
Tue, 13 Mar 2012 21:17:37 +0100	wenzelm	clarified command state -- markup within proper_range, excluding trailing whitespace;	file \| diff \| annotate
Sat, 03 Mar 2012 18:18:39 +0100	wenzelm	clarified terminology of raw protocol messages;	file \| diff \| annotate
Fri, 24 Feb 2012 18:14:06 +0100	wenzelm	clarifed name space "type name", which covers logical and non-logical types, and often occurs inside outer syntax "type" markup;	file \| diff \| annotate

isabelle