# HG changeset patch
# User wenzelm
# Date 1308995510 -7200
# Node ID c49d8f40ba51a3fd1cac225dc20611b461189547
# Parent  de5c79682b569df3bed0c543969bd9ebeb0f0189
removed unused/broken Isabelle.exe for now -- needs update of Admin/launch4j;

diff -r de5c79682b56 -r c49d8f40ba51 Isabelle.exe
Binary file Isabelle.exe has changed