Admin/linktest
2005-10-04 haftmann 2005-10-04 improved linktest
2005-09-27 haftmann 2005-09-27 improved linkcheck
2005-09-27 haftmann 2005-09-27 added simple linktester for isabelle website