From 08ab36ffac1ca711b5630dfc7e1d8a6cc8486381 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 24 Jun 1999 14:42:20 +0000 Subject: Support for version 3 browsers added. --- html/notes.txt | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'html/notes.txt') diff --git a/html/notes.txt b/html/notes.txt index 2fa7f95d..d1fbdc6e 100644 --- a/html/notes.txt +++ b/html/notes.txt @@ -1,6 +1,12 @@ Developers' Notes about Web Pages --------------------------------- +************* + +Tell Thomas (& other folk?) to update his home page links to Proof General. + +************* + Suggestions for improving web pages after Rod reading them: - slideshow rather than single screen shot -- cgit v1.2.3