devel snapshot is now tested

--- a/Admin/page/dist-content/index.content	Mon Apr 19 00:00:05 2004 +0200
+++ b/Admin/page/dist-content/index.content	Mon Apr 19 00:45:50 2004 +0200
@@ -31,5 +31,4 @@
 
 For the curious we provide a nightly generated CVS <a
 href="http://isabelle.in.tum.de/devel/">development snapshot</a> of
-Isabelle. It is not as well tested as the stable release available
-from the mirrors above and there is no guarantee that it works.
+Isabelle.