Updated scala-isabelle (fixes of Windows support). Restored proofgeneral.bat, run-isabelle.bat.
Updated scala-isabelle (fixes of Windows support).
Restored proofgeneral.bat, run-isabelle.bat.

dominique-unruh/qrhl-tool