search

calebegg / proof-pad-classic

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

Cut down on extraneous error highlights in defrandom.lisp #44

Open calebegg opened 12 years ago

calebegg commented 12 years ago

Maybe also hide error highlights if admission is successful?