Sun, 28 Jun 2009 14:27:42 +0200 | wenzelm | moved platform identification to platform.scala; | changeset | files |
Sat, 27 Jun 2009 22:28:07 +0200 | wenzelm | less ambitious version that works with Java 1.5; | changeset | files |
Sat, 27 Jun 2009 22:22:08 +0200 | wenzelm | clarified default_platform; | changeset | files |