Isabelle.exe
author wenzelm
Tue, 10 Nov 2009 23:18:03 +0100 (2009-11-10)
changeset 33604 d4220df6fde2
parent 31921 f39825f8bfd3
permissions -rwxr-xr-x
Toplevel.thread provides Isar-style exception output;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31921
f39825f8bfd3 Isabelle application wrapper for windows.
wenzelm
parents:
diff changeset
     1
(binary:application/x-msdos-program)