diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-22 23:29:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-22 23:29:35 +0200 |
commit | 26b3bf9f070e9aee45c6e3d19bca475d4ae8ed37 (patch) | |
tree | 64b5b138c91b75c464e66eecd5dc19542ad68276 /phox/phox-lang.el | |
parent | 3b9e1e4742a2dafce6ac2ef4bfa95d22e43c3c59 (diff) | |
parent | 7ee9486a616b12ea99490b134c1417792ef78459 (diff) |
Merge pull request #200 from craff/master
Update phox support
Diffstat (limited to 'phox/phox-lang.el')
-rw-r--r-- | phox/phox-lang.el | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/phox/phox-lang.el b/phox/phox-lang.el deleted file mode 100644 index dc6ad9ed..00000000 --- a/phox/phox-lang.el +++ /dev/null @@ -1,64 +0,0 @@ -;; $State$ $Date$ $Revision$ -;;--------------------------------------------------------------------------;; -;;--------------------------------------------------------------------------;; -;; messages in various languages - -(provide 'phox-lang) -(require 'cl) ; for case - -(defvar phox-lang - (let* ((s (or (getenv "LC_ALL") - (getenv "LANG") - (getenv "LANGUAGE"))) - (loc (and s - (> (length s) 1) - (substring s 0 2)))) - (cond - ((or (string= loc "en") (string= loc "us")) 'en) - ((string= loc "fr") 'fr) - (t 'en)))) - -(defun phox-lang-absurd () - (case phox-lang - (en "By absurd") - (fr "Par l'absurde"))) - -(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)")))) - -(defun phox-lang-opendef () - (case phox-lang - (en "Expand the definition: ") - (fr "Ouvre la définition : "))) - -(defun phox-lang-instance (s) - (case phox-lang - (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)))) - -(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 (s) - (case phox-lang - (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 "\\]")))) |