diff options
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 "\\].")))) |