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 | |
| parent | 833f4a83100a5245b16f2d6121b49c81a8512fdf (diff) | |
added first (experimental) support for proof by contextual menu (pg-pbrpm.el)
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions