From 076c9442a7aa02e2435b3907c86573d21c006aae Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Thu, 24 Apr 2003 21:02:59 +0000
Subject: [PATCH] For version 1.20

---
 index.html     | 5 +++++
 web/index.html | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/index.html b/index.html
index af9647c..fb289e4 100644
--- a/index.html
+++ b/index.html
@@ -222,6 +222,11 @@ You can download it in source and compiled format from the following links:
 <dt>Version 1.20 2002/09/23<dd>
 Fixed bug in 1.19 with node font name specification.
 
+<dt>Version 1.20 2003/04/25<dd>
+Fixes by Nick Efthymiou (thanks):
+will generate SVG hyperlinks to Javadoc documentation,
+better handling of abstract class fonts,
+and correct listing of interfaces.
 <dt>Version 1.19 2002/09/20<dd>
 New options:
 nodefontname,
diff --git a/web/index.html b/web/index.html
index af9647c..fb289e4 100644
--- a/web/index.html
+++ b/web/index.html
@@ -222,6 +222,11 @@ You can download it in source and compiled format from the following links:
 <dt>Version 1.20 2002/09/23<dd>
 Fixed bug in 1.19 with node font name specification.
 
+<dt>Version 1.20 2003/04/25<dd>
+Fixes by Nick Efthymiou (thanks):
+will generate SVG hyperlinks to Javadoc documentation,
+better handling of abstract class fonts,
+and correct listing of interfaces.
 <dt>Version 1.19 2002/09/20<dd>
 New options:
 nodefontname,