isabelle: File revisions

src/Pure/Thy/thy_syntax.scala

Fri, 06 Apr 2012 11:49:08 +0200	wenzelm	discontinued Document.update_perspective side-entry (cf. 546adfa8a6fc) -- NB: re-assignment is always necessary due to non-monotonic cancel_execution;	file \| diff \| annotate
Mon, 19 Mar 2012 14:59:31 +0100	wenzelm	clarified command span classification: strict Command.is_command, permissive Command.name;	file \| diff \| annotate
Fri, 16 Mar 2012 21:20:23 +0100	wenzelm	more abstract heading level;	file \| diff \| annotate
Thu, 15 Mar 2012 17:45:54 +0100	wenzelm	more explicit header_edits before main text_edits;	file \| diff \| annotate
Thu, 15 Mar 2012 14:13:49 +0100	wenzelm	basic support for outer syntax keywords in theory header;	file \| diff \| annotate
Thu, 15 Mar 2012 11:37:56 +0100	wenzelm	maintain Version.syntax within document state;	file \| diff \| annotate
Sun, 04 Mar 2012 16:02:14 +0100	wenzelm	clarified command span: include trailing whitespace/comments and thus reduce number of ignored spans with associated transactions and states (factor 2);	file \| diff \| annotate

isabelle