diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 13:18:30 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-10-20 13:18:30 +0000 |
| commit | b7109ce9e307830a271808f04e24d3c4d79b1665 (patch) | |
| tree | 6832fbf2323d055a273d08b0d6bdb90c4e64be15 /phox/root2.phx | |
| parent | a40435d8211a53c684fbcde06d62cd8ea62a78df (diff) | |
improvment of phox-x-symbol, supress sym-lock, first support for proof by contextual menu
Diffstat (limited to 'phox/root2.phx')
0 files changed, 0 insertions, 0 deletions