diff options
Diffstat (limited to 'phox/phox-lang.el')
-rw-r--r-- | phox/phox-lang.el | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/phox/phox-lang.el b/phox/phox-lang.el index a26f3bdc..d8456de8 100644 --- a/phox/phox-lang.el +++ b/phox/phox-lang.el @@ -34,6 +34,16 @@ (en (concat "Choose " s " = ")) (fr (concat "Choisissons " s " = ")))) +(defun phox-lang-lock (s) + (case phox-lang + (en (concat "Lock variable" s ".")) + (fr (concat "Vérouille la variable " s ".")))) + +(defun phox-lang-unlock (s) + (case phox-lang + (en (concat "Unlock variable" s ".")) + (fr (concat "Dévérouille la variable " s ".")))) + (defun phox-lang-prove () (case phox-lang (en "Let us prove \\[ \\].") |