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 /phox/phox-lang.el | |
| 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 'phox/phox-lang.el')
| -rw-r--r-- | phox/phox-lang.el | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/phox/phox-lang.el b/phox/phox-lang.el index d8456de8..952842e5 100644 --- a/phox/phox-lang.el +++ b/phox/phox-lang.el @@ -44,12 +44,12 @@ (en (concat "Unlock variable" s ".")) (fr (concat "Dévérouille la variable " s ".")))) -(defun phox-lang-prove () +(defun phox-lang-prove (s) (case phox-lang - (en "Let us prove \\[ \\].") - (fr "Prouvons \\[ \\]."))) + (en (concat "Let us prove \\[" s "\\].")) + (fr (concat "Prouvons \\[" s "\\].")))) -(defun phox-lang-let () +(defun phox-lang-let (s) (case phox-lang - (en "Let \\[ \\] = \\[ \\].") - (fr "Définissons \\[ \\] = \\[ \\]."))) + (en (concat "Let \\[ \\] = \\[" s "\\].")) + (fr (concat "Définissons \\[ \\] = \\[" s "\\].")))) |