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
Open Recent menu improved
#39
Closed
PeterReid
closed
12 years ago
PeterReid
commented
12 years ago
Two bug fixes to the open recent menu:
Files get added to it on save (issue 36)
It doesn't stay disabled, even after files are added to it, after being cleared
calebegg
commented
12 years ago
Looks good. Thanks :-)
Two bug fixes to the open recent menu: