View Single Post
Old 28 October 2008, 21:08   #27
Registered User

TCD's Avatar
Join Date: Sep 2006
Location: Germany
Age: 40
Posts: 24,020
Might be an idea to make a sourcecode preservation project. Maybe it could just be attached to the HOL info and hosted on a different webspace.
TCD is offline  
Page generated in 0.05600 seconds with 9 queries