src/Pure/General/scan.scala
Sat, 19 Dec 2009 11:48:11 +0100 wenzelm indicate final state of keywords;
Sat, 29 Aug 2009 14:31:39 +0200 wenzelm misc tuning;
Tue, 23 Jun 2009 17:43:51 +0200 wenzelm moved string utilities to completion.scala;
Tue, 23 Jun 2009 12:42:45 +0200 wenzelm more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++;
Mon, 22 Jun 2009 20:31:08 +0200 wenzelm Lexicon: removed unused max_entry;
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