Admin/linktest
2005-10-04 haftmann improved linktest
2005-09-27 haftmann improved linkcheck
2005-09-27 haftmann added simple linktester for isabelle website
less more (0) tip