wenzelm [Tue, 16 Aug 2011 23:17:26 +0200] rev 44226
workaround for Cygwin, to make it work in the important special case without extra files;
wenzelm [Tue, 16 Aug 2011 22:48:31 +0200] rev 44225
more robust Thy_Header.base_name, with minimal assumptions about path syntax;
Isabelle.buffer_path: keep platform syntax;
wenzelm [Tue, 16 Aug 2011 21:54:06 +0200] rev 44224
tuned message;
wenzelm [Tue, 16 Aug 2011 21:50:53 +0200] rev 44223
more robust treatment of node dependencies in incremental edits;
wenzelm [Tue, 16 Aug 2011 21:13:52 +0200] rev 44222
use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
more robust treatment of node dependencies;
misc tuning;
wenzelm [Tue, 16 Aug 2011 12:06:49 +0200] rev 44221
omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;