search

calebegg / proof-pad-classic

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

"Look up" menu item: either update/disable it when invalid, or make it show a prompt #45

Closed calebegg closed 11 years ago

calebegg commented 11 years ago

Something like "There's no help for xs. Look up something else? [_____]" (if your cursor is on/near 'xs')

calebegg commented 11 years ago

Fixed.