isabelle: File revisions

src/Pure/PIDE/markup_tree.scala

Tue, 07 Sep 2010 23:06:52 +0200	wenzelm	concentrate Isabelle specific physical rendering markup selection in isabelle_markup.scala;	file \| diff \| annotate
Tue, 07 Sep 2010 22:28:58 +0200	wenzelm	simplified Markup_Tree.select: Stream instead of Iterator (again), explicit Option instead of default;	file \| diff \| annotate
Sun, 29 Aug 2010 15:09:11 +0200	wenzelm	added Document.Snapshot.select_markup, which includes command iteration, range conversion etc.;	file \| diff \| annotate
Thu, 26 Aug 2010 11:31:21 +0200	wenzelm	Markup_Tree.select: uniform treatment of root_range wrt. singularities, yielding empty result stream;	file \| diff \| annotate
Tue, 24 Aug 2010 21:34:38 +0200	wenzelm	Markup_Tree.+: new info tends to sink to bottom, where it is prefered by select;	file \| diff \| annotate
Tue, 24 Aug 2010 21:20:08 +0200	wenzelm	Markup_Tree.select: more straight-forward recursion producing one main stream, avoid fragmentation of parent info due to ignored subtree;	file \| diff \| annotate
Mon, 23 Aug 2010 20:50:00 +0200	wenzelm	misc tuning of important special cases;	file \| diff \| annotate

isabelle