Tue, 16 Aug 2011 23:17:26 +0200 workaround for Cygwin, to make it work in the important special case without extra files;
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;
Tue, 16 Aug 2011 22:48:31 +0200 more robust Thy_Header.base_name, with minimal assumptions about path syntax;
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;
Tue, 16 Aug 2011 21:54:06 +0200 tuned message;
wenzelm [Tue, 16 Aug 2011 21:54:06 +0200] rev 44224
tuned message;
Tue, 16 Aug 2011 21:50:53 +0200 more robust treatment of node dependencies in incremental edits;
wenzelm [Tue, 16 Aug 2011 21:50:53 +0200] rev 44223
more robust treatment of node dependencies in incremental edits;
Tue, 16 Aug 2011 21:13:52 +0200 use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
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;
Tue, 16 Aug 2011 12:06:49 +0200 omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
wenzelm [Tue, 16 Aug 2011 12:06:49 +0200] rev 44221
omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
Mon, 15 Aug 2011 19:42:52 -0700 merged
huffman [Mon, 15 Aug 2011 19:42:52 -0700] rev 44220
merged
Mon, 15 Aug 2011 18:35:36 -0700 generalize lemmas open_Collect_less, closed_Collect_le, closed_Collect_eq to class topological_space
huffman [Mon, 15 Aug 2011 18:35:36 -0700] rev 44219
generalize lemmas open_Collect_less, closed_Collect_le, closed_Collect_eq to class topological_space
Mon, 15 Aug 2011 16:48:05 -0700 add lemma tendsto_compose
huffman [Mon, 15 Aug 2011 16:48:05 -0700] rev 44218
add lemma tendsto_compose
Mon, 15 Aug 2011 16:18:13 -0700 remove extraneous subsection heading
huffman [Mon, 15 Aug 2011 16:18:13 -0700] rev 44217
remove extraneous subsection heading
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip