Update recent menu on save too - Githubissues

calebegg / proof-pad-classic

An IDE for ACL2

http://proofpad.org

GNU General Public License v3.0

21 stars 4 forks source link

Update recent menu on save too #36

Closed calebegg closed 12 years ago

PeterReid commented 12 years ago

I made a pull request for this: https://github.com/calebegg/proof-pad/pull/39