diff -r 7d38744313c8 -r dea357e84ac9 Admin/index.html --- a/Admin/index.html Tue Jan 19 12:59:55 1999 +0100 +++ b/Admin/index.html Wed Jan 20 10:29:25 1999 +0100 @@ -24,8 +24,7 @@ href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge (UK) -
  • Minho +
  • Minho (Portugal)