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