View Single Post
Old 28 October 2008, 20:08   #27
TCD
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