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