# HG changeset patch
# User wenzelm
# Date 1335356955 -7200
# Node ID ec3da8df4c39b274345b0363d7931cb439a09247
# Parent  de249b5ae6e22eaee40e353b0cdfe379ce0c38f0
include generated application wrapper;

diff -r de249b5ae6e2 -r ec3da8df4c39 Admin/launch4j/Isabelle.exe
Binary file Admin/launch4j/Isabelle.exe has changed