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