src/Pure/General/scan.scala
Thu, 18 Jun 2009 15:02:18 +0200 wenzelm subSequence: bounds checking;
Thu, 18 Jun 2009 14:02:47 +0200 wenzelm added reverse CharSequence;
Tue, 16 Jun 2009 21:45:35 +0200 wenzelm added completions;
Tue, 16 Jun 2009 18:47:45 +0200 wenzelm reorganized and abstracted version, via Set trait;
Tue, 16 Jun 2009 15:25:32 +0200 wenzelm Efficient scanning of literals.
less more (0) tip