From be596dc884169f787983e4fbeaeb2b4419f40fe0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Aug 2001 15:15:58 +0000
Subject: Add link to browse package

---
 html/download.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/html/download.html b/html/download.html
index 14d7e443..1fa74d2b 100644
--- a/html/download.html
+++ b/html/download.html
@@ -120,6 +120,11 @@ Proof General is available as an archive and an RPM package.
       <?php download_link("ProofGeneral-3.2-1.src.rpm",
 	"source RPM") ?>.
  </li>
+ <li> individual files: 
+   <a href="ProofGeneral-3.2">browse the package here</a>.
+ </li>
+</tr>
+
 </ul>
 <p>
 Both the tarball and the RPM package include the generic elisp
-- 
cgit v1.2.3