Sat, 08 Sep 2007 20:37:22 +0200 | wenzelm | added String.isSubstring; | file | diff | annotate |
Thu, 31 May 2007 01:36:08 +0200 | wenzelm | emulate later version of TextIO.inputLine; | file | diff | annotate |
Thu, 31 May 2007 01:25:24 +0200 | wenzelm | TextIO.inputLine: use present SML B library version; | file | diff | annotate |