Fix issue 51 and update readme.md

calebegg / proof-pad-classic

An IDE for ACL2

http://proofpad.org

GNU General Public License v3.0

21 stars 4 forks source link

Closed kyle921 closed 11 years ago

calebegg commented 11 years ago

Thanks for the patch. Sorry that I didn't see it until now.

kyle921 commented 11 years ago

No worries!