src/Pure/PIDE/change.scala
Thu, 05 Aug 2010 18:00:37 +0200 wenzelm Change.Snapshot: include from_current/to_current here, with precomputed changes;
Thu, 05 Aug 2010 16:58:18 +0200 wenzelm explicit Change.Snapshot and Document.Node;
Thu, 05 Aug 2010 14:35:35 +0200 wenzelm simplified/refined document model: collection of named nodes, without proper dependencies yet;
Wed, 05 May 2010 22:23:45 +0200 wenzelm some rearrangement of Scala sources;
less more (0) tip