# HG changeset patch
# User kleing
# Date 1082328350 -7200
# Node ID 811c09d426ccf53ebf9a8004d97a99b36b11b042
# Parent  5275774155cfaf6af3f2598f2a6170ef0ed6bb69
devel snapshot is now tested

diff -r 5275774155cf -r 811c09d426cc Admin/page/dist-content/index.content
--- 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.