wenzelm [Sat, 21 Nov 2009 14:03:36 +0100] rev 33831
minimal test of current repository version;
wenzelm [Sat, 21 Nov 2009 14:02:55 +0100] rev 33830
slightly longer log tail;
kleing [Sat, 21 Nov 2009 17:04:03 +1100] rev 33829
add explicit platform check to wwwfind tool
explicit platform check to avoid calling external programs with strange parameters
kleing [Sat, 21 Nov 2009 16:56:53 +1100] rev 33828
adjusted help text
kleing [Sat, 21 Nov 2009 11:47:38 +1100] rev 33827
wwwfind support currently for Linux only
huffman [Fri, 20 Nov 2009 15:29:56 -0800] rev 33826
make repdef work without (open) option
huffman [Fri, 20 Nov 2009 14:35:55 -0800] rev 33825
NEWS: HOLCF changes since the last release
wenzelm [Fri, 20 Nov 2009 17:56:06 +0100] rev 33824
removed hard tabs from text (not pattern);
wenzelm [Fri, 20 Nov 2009 16:08:14 +0100] rev 33823
standardized headers;
wenzelm [Fri, 20 Nov 2009 15:48:36 +0100] rev 33822
provide standard isabelle make targets;
slightly more accurate dependencies;