Tue, 12 Jul 2011 19:36:46 +0200 | wenzelm | more uniform Properties in ML and Scala; | file | diff | annotate |
Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Thu, 28 Aug 2008 00:33:08 +0200 | wenzelm | added get_int; | file | diff | annotate |
Wed, 27 Aug 2008 11:49:50 +0200 | wenzelm | Property lists. | file | diff | annotate |