isabelle: File revisions

src/Pure/PIDE/command.scala

Tue, 16 Nov 2010 22:40:45 +0100	wenzelm	avoid spam;	file \| diff \| annotate
Wed, 10 Nov 2010 15:00:40 +0100	wenzelm	some support for nested source structure, based on section headings;	file \| diff \| annotate
Wed, 22 Sep 2010 22:39:17 +0200	wenzelm	Command.accumulate: refrain from adding tracing messages to markup tree -- potential scalability problem;	file \| diff \| annotate
Fri, 17 Sep 2010 17:10:44 +0200	wenzelm	allow embedded reports in regular prover messages, to avoid side-effects for errors for example;	file \| diff \| annotate
Tue, 07 Sep 2010 16:51:28 +0200	wenzelm	Command.State.accumulate: check actual source range;	file \| diff \| annotate
Tue, 07 Sep 2010 16:40:30 +0200	wenzelm	Isar_Document.reported_positions: slightly more robust treatment of positions outside the command range, notably parsing beyond EOF;	file \| diff \| annotate
Tue, 31 Aug 2010 23:28:21 +0200	wenzelm	Command.State: add reported positions to markup tree, according main message position or Markup.binding/entity/report occurrences in body;	file \| diff \| annotate

isabelle