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