src/Pure/General/position.scala
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