diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-10-12 20:27:40 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-10-12 20:27:40 +0000 |
commit | 3db20b5e170667464a58430f4386b1de02a329b0 (patch) | |
tree | b1a99c68fe8abf657b41258ea3f1ca8e6d52b0de /phox/phox-lang.el | |
parent | 06c64591dea79e8b71ca2d197f7695a8c6e55d5a (diff) |
added lock and unlock for unification variables
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 \\[ \\].") |