From 0d5b927ab9f69e7d7dc9e7a2721ac4bb7952b520 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Aug 2001 15:16:16 +0000
Subject: Add link to browse files

---
 html/devel.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index 308d3534..570f2a5c 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -18,6 +18,8 @@ Download the latest <a href="develdownload.html">development release:
 <!-- WARNING!  Line below automatically edited by makefile. -->
  <b>ProofGeneral-3.3pre010810</b></a>
 <!-- end WARNING -->
+<br>
+or <a href="ProofGeneral">browse</a> the development distribution.
  <br>
 Check the 
 <!-- WARNING!  Line below automatically edited by makefile. -->
-- 
cgit v1.2.3