| 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 |
| Sat, 27 Jun 2009 22:14:13 +0200 | wenzelm | more detailed platform identification; | changeset | files |