diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2006-02-24 17:16:02 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2006-02-24 17:16:02 +0000 |
| commit | fc774de804417a399094f61de1880e75b556c851 (patch) | |
| tree | 77a0bb8c419f4bdd94922561219f72c0f4e5079a /lego | |
| parent | 5c3f73417729e94d234c330854e0f29171eb8470 (diff) | |
back to using sym-lock ... x-symbol will not be supported anymore for PhoX + imporvment in proof by contextual menu
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions