wenzelm [Tue, 23 Dec 2008 00:56:03 +0100] rev 29152
added platform_file;
added find_logics;
wenzelm [Mon, 22 Dec 2008 19:57:49 +0100] rev 29151
proper -X option;
relative result, do not insist in "$THIS/Isabelle.app";
wenzelm [Mon, 22 Dec 2008 16:57:11 +0100] rev 29150
unregister: refrain from cancelling self, which sometimes caused sledghammer to fail just before printing the result;
tuned;
wenzelm [Mon, 22 Dec 2008 14:40:27 +0100] rev 29149
more sophisticated MacOS interface script (mostly for Carbon Emacs);
no longer include MacPorts path;
simplified default PROOFGENERAL_OPTIONS, removed PROOFGENERAL_EMACS;
wenzelm [Sun, 21 Dec 2008 12:41:09 +0100] rev 29148
updated web style for Mercurial 1.1.1;
wenzelm [Sun, 21 Dec 2008 12:30:00 +0100] rev 29147
misc webstyle adaptions;