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