search

calebegg / proof-pad-classic

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

Event hoisting should add below proof line #37

Closed calebegg closed 11 years ago

calebegg commented 12 years ago

For some reason (regression?), hoisted events are getting added to the end of the file instead of the proof line, which results in a different form getting auto- admitted.

calebegg commented 11 years ago

This got fixed at some point.