Thu, 01 Oct 2015 17:35:28 +0200 | blanchet | export proof method in signature | changeset | files |
Thu, 01 Oct 2015 17:32:07 +0200 | blanchet | export '_cmd' functions | changeset | files |
Wed, 30 Sep 2015 23:58:59 +0200 | wenzelm | back to old JavaAppLauncher to avoid initial startup problems (due to unsigned application?); | changeset | files |