calebegg / proof-pad-classic

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

Don't move output window if it's visible. Or remember its last location. #52

Closed calebegg closed 11 years ago