checking 124 urls ...

ai.eecs.umich.edu/
  ok
anulib.anu.edu.au/lib_home.html
  ok
archive.comlab.ox.ac.uk/formal-methods.html
  ok
citeseer.ist.psu.edu/
  ok
cm.bell-labs.com/cm/cs/who/libkin/lics/logic-confs.html
  ok
cogsci.uwaterloo.ca/
  ok
csli-publications.stanford.edu/
  ok
csmaclab-www.uchicago.edu/philosophyProject/philos.html
  ok
e-math.ams.org/
  ok
e-math.ams.org/mathscinet
  ok
esmmac8.esm.psu.edu/mac-tex/
  ok
homepages.ed.ac.uk/pmilne/links_html/journals.html
  ok
jamaica.u.arizona.edu/~chalmers/biblio.html
  moved
  consc.net/biblio.html
  ok
lal.cs.byu.edu/
  ok
liinwww.ira.uka.de/bibliography/Ai/rht.html
  ok
liinwww.ira.uka.de/bibliography/Theory/Seiferas/index.html
  ok
liinwww.ira.uka.de/bibliography/Theory/logic.wong.html
  ok
logic.berkeley.edu/
  ok
logic.tamu.edu/
  ok
logica.cle.unicamp.br/wcp/wcp2000.htm
  ok
logica.rug.ac.be/centrum/
  ok
logika.ff.cuni.cz/artsys/index.php
  ok
mally.stanford.edu/
  ok
math.boisestate.edu/%7Eholmes/holmes/nf.html
  ok
math.uni-heidelberg.de/logic/
  ok
nl.ijs.si/%7Edamjan/me.html
  ok
online.anu.edu.au/
  ok
ps-www.dfki.uni-sb.de/ccl/
  could not find ip address
rsise.anu.edu.au/
  ok
rsise.anu.edu.au/csl/
  ok
shelah.logic.at/
  ok
theory.doc.ic.ac.uk/tfm/igpl.html
  timed out connecting to host
www-2.cs.cmu.edu/afs/cs/project/pal/www/pal.html
  ok
www-csli.stanford.edu/
  ok
www-csli.stanford.edu/hp/
  ok
www-formal.stanford.edu/
  ok
www-formal.stanford.edu/clt/ARS/ars-db.html
  ok
www-fp.mcs.anl.gov/division/welcome/default.asp
  ok
www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Smullyan.html
  ok
www-groups.dcs.st-and.ac.uk/%7Ehistory/HistTopics/Beginnings_of_set_theory.html
  ok
www-logic.stanford.edu/
  ok
www-mitpress.mit.edu/
  not an http link
www-personal.monash.edu.au/%7Edey/phil/logic.htm
  ok
www-unix.mcs.anl.gov/AR/
  ok
www-unix.mcs.anl.gov/AR/otter/
  ok
www.Math.Uni-Augsburg.DE/%7Emoeller/nada.html
  ok
www.acm.org/
  ok
www.ai.cse.unsw.edu.au/
  ok
www.ams.org/
  ok
www.ams.org/msc/
  ok
www.ams.org/msc/03Bxx.html
  ok
www.ams.org/msc/68Nxx.html
  ok
www.ams.org/msc/68Qxx.html
  ok
www.ams.org/msc/68Txx.html
  ok
www.anl.gov/
  ok
www.aslonline.org/
  ok
www.blackwellpublishers.co.uk/
  ok
www.cecm.sfu.ca/organics/papers/lam/index.html
  ok
www.cis.syr.edu/~sanchis/
  ok
www.cis.udel.edu/%7Ecase/logic.html
  ok
www.cis.upenn.edu/%7Elc/home.html
  ok
www.cs.auckland.ac.nz/CDMTCS/chaitin/
  ok
www.cs.chalmers.se/%7Ereiner/
  ok
www.cs.math.ist.utl.pt/s84.www/cs/lcg/lcgpage.html
  ok
www.cs.rochester.edu/u/joel/
  ok
www.cs.technion.ac.il/%7Eadmlogic/
  ok
www.cs.umd.edu/projects/active/
  timed out connecting to host
www.cse.unsw.edu.au/%7Eksg/AusLogic/
  ok
www.csse.monash.edu.au/mirrors/bibliography/index.html
  ok
www.cup.org/
  moved
  www.cambridge.org/us/
  ok
www.dcs.kcl.ac.uk/research/groups/gllc/
  ok
www.di.unito.it/
  ok
www.ee.pdx.edu/polo/
  ok
www.eecs.umich.edu/~rthomaso/
  ok
www.elsevier.nl/
  ok
www.emis.de/ZMATH/
  ok
www.fields.utoronto.ca/
  ok
www.folli.org/
  ok
www.gibson.com/products/gibson/lespaul/
  ok
www.giss.nasa.gov/latex/
  ok
www.gnu.org/home.html
  ok
www.indiana.edu/~iulg/
  ok
www.informatik.uni-leipzig.de/
  ok
www.informatik.uni-trier.de/%7Eley/db/index.html
  ok
www.innergeek.us/
  ok
www.irit.fr/
  ok
www.jaist.ac.jp/is/labs/ono-ishihara-lab/jaist-logic.html
  ok
www.johncoltrane.com/
  ok
www.kake.info.waseda.ac.jp/index.html
  ok
www.lib.sfu.ca/
  ok
www.lights.com/publisher/
  ok
www.linklint.org/
  ok
www.linux.org/
  ok
www.logic.info.waseda.ac.jp/index.html
  ok
www.logic.math.helsinki.fi/
  ok
www.logique.jussieu.fr/
  ok
www.ma.umist.ac.uk/newmaths/postgrad/VUM/logicresearch.html
  ok
www.math.gatech.edu/%7Ethomas/FC/fourcolor.html
  ok
www.math.ohio-state.edu/%7Efriedman/
  ok
www.math.psu.edu/simpson/Logic.html
  ok
www.math.ucla.edu/%7Ehbe/
  ok
www.math.uni-bonn.de/people/logic/
  ok
www.math.unipd.it/%7Elogic/
  ok
www.mathematik.uni-muenchen.de/%7Elogik/
  ok
www.mot.ruc.dk/
  ok
www.mpi-sb.mpg.de/index.html
  ok
www.ms.mff.cuni.cz/acad/kmlfm/
  not found (404)
www.nd.edu/%7Echolak/computability/computability.html
  ok
www.nd.edu/%7Esteve/logic/
  ok
www.oakland.edu/enp/
  ok
www.oup.co.uk/
  ok
www.pms.ifi.lmu.de/conferences/conferences.html
  ok
www.rbjones.com/
  ok
www.sfu.ca/
  ok
www.sm.luth.se/%7Etorkel/eget/godel.html
  ok
www.soccercanberra.com.au/
  ok
www.springer.de/
  moved
  www.springeronline.com/sgw/cda/redirect/shortcut?SHORTCUT=www.springer.de/%3f
  moved
  www.springeronline.com/sgw/cda/frontpage/0,11855,1-102-0-0-0,00.html?referer=www.springer.de%2F
  ok
www.trevorrow.com/
  ok
www.tug.org/ctan.html
  ok
www.turing.org.uk/turing/
  ok
www.uni-bonn.de/logic/world.html
  ok
www.unicamp.br/
  ok
www.wvquine.org/
  ok
wwwmath.uni-muenster.de/math/logik/root.html
  moved
  wwwmath1.uni-muenster.de/logik/root.html
  ok

writing files to report
wrote 7 txt files
wrote 5 html files
wrote index file urlindex.html

found 119 urls: ok
-----   2 urls: moved permanently (301)
-----   4 urls: moved temporarily (302)
ERROR   1 url: could not find ip address
ERROR   1 url: not found (404)
ERROR   2 urls: timed out connecting to host
warn    1 url: not an http link

Linklink checked 124 urls:
    119 were ok, 4 failed. 6 urls moved.
    3 hosts failed: 3 urls could be retried.