View Single Post
Old 10 December 2012, 19:55   #5
Global Moderator
lilalurl's Avatar
Join Date: Aug 2001
Location: France
Posts: 3,289
Send a message via ICQ to lilalurl
Congratulations to everyone involved, even those "just" reporting some errors (it can be very useful).

I cannot imagine how much time the core team spent to build the main part of HOL. When I see the time I need to do just a few modifications and create a few entries, I am amazed that some people spent hours and hours during 10 years doing that.
lilalurl is offline  
Page generated in 0.04592 seconds with 11 queries