On 19.08.2015 22:45, Makarius wrote:
On Wed, 19 Aug 2015, Larry Paulson wrote:
I pushed a changeset to the testboard, but it isn’t showing up at
http://isabelle.in.tum.de/testboard/Isabelle
The last change it shows was 6 days ago.
Moreover, testboard and the default branch look identical
*** System ***
* Java runtime environment for x86_64-windows allows to use larger heap
space.
This refers e.g. to Isabelle/0b9d8af73270.
I have also changed the app bundling to produce a separate Windows 64bit
application, e.g. see
http://www4.in.tum.de/~wenzelm/test/Isabelle_21-Aug-2015
