proof-general/etc/desktop/icons/64x64, branch master
Emacs plugins for proof management systems
fix icon installation and add 64 and 128 square icons (fixes #141)
2017-01-17T10:00:05+00:00
Hendrik Tews
2017-01-17T10:00:05+00:00
915c66130bf639c7bd0b94f5a5c4a79f9148d2b1