diff options
Diffstat (limited to 'phox/phox-lang.el')
| -rw-r--r-- | phox/phox-lang.el | 28 |
1 files changed, 16 insertions, 12 deletions
diff --git a/phox/phox-lang.el b/phox/phox-lang.el index 952842e5..a67941e4 100644 --- a/phox/phox-lang.el +++ b/phox/phox-lang.el @@ -6,8 +6,7 @@ (provide 'phox-lang) (defvar phox-lang - (let* ((s1 (getenv "LANG")) (s2 (getenv "LC_LANG")) (s (if s1 s1 s2))) - (message s) + (let* ((s1 (getenv "LANG")) (s2 (getenv "LC_LANG")) (s (substring (if s1 s1 (if s2 s2 "en")) 0 2))) (cond ((or (string= s "en") (string= s "us")) 'en) ((string= s "fr") 'fr) @@ -21,8 +20,8 @@ (defun phox-lang-suppress (s) (case phox-lang - (en (concat "Remove hypothesis " s " (if it became useless).")) - (fr (concat "Supprimer l'hypothèse " s " (si elle est devenue inutile).")))) + (en (concat "Remove hypothesis " s " (if it became useless)")) + (fr (concat "Supprimer l'hypothèse " s " (si elle est devenue inutile)")))) (defun phox-lang-opendef () (case phox-lang @@ -34,22 +33,27 @@ (en (concat "Choose " s " = ")) (fr (concat "Choisissons " s " = ")))) +(defun phox-lang-open-instance (s) + (case phox-lang + (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 ".")))) + (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 ".")))) + (en (concat "Unlock variable " s)) + (fr (concat "Dévérouille la variable " s)))) (defun phox-lang-prove (s) (case phox-lang - (en (concat "Let us prove \\[" s "\\].")) - (fr (concat "Prouvons \\[" s "\\].")))) + (en (concat "Let us prove \\[" s "\\]")) + (fr (concat "Prouvons \\[" s "\\]")))) (defun phox-lang-let (s) (case phox-lang - (en (concat "Let \\[ \\] = \\[" s "\\].")) - (fr (concat "Définissons \\[ \\] = \\[" s "\\].")))) + (en (concat "Let \\[ \\] = \\[" s "\\]")) + (fr (concat "Définissons \\[ \\] = \\[" s "\\]")))) |