| Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
| Tue, 18 Aug 2015 14:43:25 +0200 | wenzelm | proper platform path for intial PolyML.SaveState.loadState; | file | diff | annotate |
| Tue, 18 Aug 2015 14:28:29 +0200 | wenzelm | proper platform path for initial load; | file | diff | annotate |