View Single Post
Old 28 October 2008, 20:08   #27
Global Moderator

TCD's Avatar
Join Date: Sep 2006
Location: Germany
Age: 39
Posts: 24,032
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.04779 seconds with 9 queries