diff options
author | 2004-10-20 13:16:01 +0000 | |
---|---|---|
committer | 2004-10-20 13:16:01 +0000 | |
commit | a40435d8211a53c684fbcde06d62cd8ea62a78df (patch) | |
tree | fbe38b153bdbcc3a908c1bf7c2fe2a14c135d862 /generic/pg-thymodes.el | |
parent | 833f4a83100a5245b16f2d6121b49c81a8512fdf (diff) |
added first (experimental) support for proof by contextual menu (pg-pbrpm.el)
Diffstat (limited to 'generic/pg-thymodes.el')
0 files changed, 0 insertions, 0 deletions