wenzelm [Fri, 12 Aug 2011 22:10:49 +0200] rev 45042
normalized theory dependencies wrt. file_store;
wenzelm [Fri, 12 Aug 2011 20:32:25 +0200] rev 45041
general Graph.schedule;
wenzelm [Fri, 12 Aug 2011 15:30:12 +0200] rev 45040
allow "$" within basic path elements (NB: initial "$" refers to path variable);
wenzelm [Fri, 12 Aug 2011 15:28:30 +0200] rev 45039
clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
wenzelm [Fri, 12 Aug 2011 12:03:17 +0200] rev 45038
simplified class Thy_Header;
wenzelm [Fri, 12 Aug 2011 11:41:26 +0200] rev 45037
clarified Exn.message;
huffman [Fri, 12 Aug 2011 09:17:30 -0700] rev 45036
merged
huffman [Fri, 12 Aug 2011 09:17:24 -0700] rev 45035
make Multivariate_Analysis work with separate set type
huffman [Fri, 12 Aug 2011 07:18:28 -0700] rev 45034
make HOLCF work with separate set type
huffman [Fri, 12 Aug 2011 07:13:12 -0700] rev 45033
merged