calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Zoom out bug #75

Open yuxiang115 opened 8 years ago

yuxiang115 commented 8 years ago

whne u keep zooming out, the program will crash and never work again, now i am trying to reinstall