2011-08-16 wenzelm [Tue, 16 Aug 2011 21:54:06 +0200] rev 44224
tuned message;
src/Pure/General/position.ML

2011-08-16 wenzelm [Tue, 16 Aug 2011 21:50:53 +0200] rev 44223
more robust treatment of node dependencies in incremental edits;
src/Pure/PIDE/document.ML

2011-08-16 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;
src/Pure/PIDE/document.ML src/Pure/PIDE/document.scala src/Pure/System/session.scala src/Pure/Thy/thy_header.scala src/Pure/Thy/thy_info.ML src/Pure/Thy/thy_info.scala src/Tools/jEdit/src/plugin.scala

2011-08-16 wenzelm [Tue, 16 Aug 2011 12:06:49 +0200] rev 44221
omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
src/Tools/jEdit/src/plugin.scala

2011-08-15 huffman [Mon, 15 Aug 2011 19:42:52 -0700] rev 44220
merged

2011-08-15 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
src/HOL/Multivariate_Analysis/Cartesian_Euclidean_Space.thy src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy

2011-08-15 huffman [Mon, 15 Aug 2011 16:48:05 -0700] rev 44218
add lemma tendsto_compose
src/HOL/Lim.thy src/HOL/Limits.thy

2011-08-15 huffman [Mon, 15 Aug 2011 16:18:13 -0700] rev 44217
remove extraneous subsection heading
src/HOL/Lim.thy

2011-08-15 huffman [Mon, 15 Aug 2011 15:11:55 -0700] rev 44216
generalized lemma closed_Collect_eq
src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy

2011-08-15 huffman [Mon, 15 Aug 2011 14:50:24 -0700] rev 44215
remove duplicate lemma disjoint_iff
src/HOL/Multivariate_Analysis/Euclidean_Space.thy src/HOL/Multivariate_Analysis/Finite_Cartesian_Product.thy