blob: dc6ad9edca802c6cd35d912cc5a7b8f247e5b0ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
;; $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 "\\]"))))
|
