Admin/components/bundled-windows
author wenzelm
Fri Sep 06 22:28:28 2013 +0200 (2013-09-06)
changeset 53448 a221a4fdb5a0
parent 53420 35de3ff361d5
child 53472 ad284595e3a8
permissions -rw-r--r--
imitate "isabelle java" and "isabelle jedit" wrt. classpath and options;
     1 #additional components to be bundled for release
     2 cygwin-20130117
     3 windows_app-20130906