View Single Post
Old 30 December 2003, 13:23   #12
Fantasy Man!

Enverex's Avatar
Join Date: Apr 2002
Location: UK
Posts: 1,288
Originally posted by Bobic
Of course it's possible to exchange information included in our databases with other projects, such as HOL. But you have to talk to Hippie2000 about that. He's our coder, he knows all about technical things and what could be possible. I can't help in such things.
Agreed with Akira, it seems a bit pointless to have 2 projects with almost the same aims when HOL is already completely established.

Not quite sure how you have never noticed HOL before though...
Enverex is offline  
Page generated in 0.05091 seconds with 9 queries