Keyboard shortcut for 'trace'

calebegg / proof-pad-classic

An IDE for ACL2

http://proofpad.org

GNU General Public License v3.0

21 stars 4 forks source link

Closed calebegg closed 12 years ago

calebegg commented 12 years ago

Maybe ctrl/cmd + enter

calebegg commented 12 years ago

Tracing is gone for now. Might come back sometime, but probably not.