issues
search
calebegg
/
proof-pad-classic
An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21
stars
4
forks
source link
Opening file from disk opens a blank window as well
#46
Closed
calebegg
closed
11 years ago
calebegg
commented
11 years ago
Fixed.
Fixed.