diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 13:16:01 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 13:16:01 +0000 |
commit | a40435d8211a53c684fbcde06d62cd8ea62a78df (patch) | |
tree | fbe38b153bdbcc3a908c1bf7c2fe2a14c135d862 /phox/phox.el | |
parent | 833f4a83100a5245b16f2d6121b49c81a8512fdf (diff) |
added first (experimental) support for proof by contextual menu (pg-pbrpm.el)
Diffstat (limited to 'phox/phox.el')
0 files changed, 0 insertions, 0 deletions