# HG changeset patch # User wenzelm # Date 1246572619 -7200 # Node ID f39825f8bfd34da7e0013ec0e3c5b45231cd0e68 # Parent 105bd1abff50ecbd79725c0361d7d502e5189be4 Isabelle application wrapper for windows. diff -r 105bd1abff50 -r f39825f8bfd3 Admin/launch4j/isabelle.xml --- a/Admin/launch4j/isabelle.xml Fri Jul 03 00:06:40 2009 +0200 +++ b/Admin/launch4j/isabelle.xml Fri Jul 03 00:10:19 2009 +0200 @@ -1,7 +1,7 @@ true gui - lib/classes/isabelle-scala.jar + lib\classes\isabelle-scala.jar Isabelle.exe @@ -10,7 +10,7 @@ http://java.com/download false - false + true isabelle.ico diff -r 105bd1abff50 -r f39825f8bfd3 Isabelle.exe Binary file Isabelle.exe has changed