The Hamilton TACAS server is dead again.
After 10 minutes of autodialing it never responded once.
 
--
George Greer  -  [log in to unmask]   | Genius may have its limitations, but stupidity
http://www.van.ml.org/~greerga | is not thus handicapped. -- Elbert Hubbard