Thread: HOL search plugin for Mozilla/Firefox
View Single Post
Old 18 December 2004, 22:29   #10
robotriot
Tubby mechanical friend
 
robotriot's Avatar
 
Join Date: Jun 2004
Location: Regensburg / Germany
Posts: 107
Send a message via ICQ to robotriot
Has this been updated yet for HOL2? If not, please do so, it's really useful :D
robotriot is offline  
 
Page generated in 0.16232 seconds with 11 queries