src/Pure/General/position.scala
Thu, 06 May 2010 16:27:47 +0200 wenzelm basic support for symbolic pretty printing;
Wed, 05 May 2010 23:09:34 +0200 wenzelm simplified via Position extractors;
Wed, 30 Dec 2009 20:25:35 +0100 wenzelm tuned signature;
Sat, 29 Aug 2009 14:31:39 +0200 wenzelm misc tuning;
Thu, 18 Jun 2009 19:03:39 +0200 wenzelm replaced java Properties by pure property lists;
Fri, 19 Dec 2008 20:37:29 +0100 wenzelm removed Ids;
Mon, 25 Aug 2008 20:01:17 +0200 wenzelm simplified exceptions: use plain error function / RuntimeException;
Sun, 24 Aug 2008 21:15:44 +0200 wenzelm get: allow null;
Sat, 23 Aug 2008 23:07:36 +0200 wenzelm Position properties.
less more (0) tip