blob: 952842e53b5820515736b2e0ff4bb9dd23cb2035 (
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
|
;; $State$ $Date$ $Revision$
;;--------------------------------------------------------------------------;;
;;--------------------------------------------------------------------------;;
;; messages in various languages
(provide 'phox-lang)
(defvar phox-lang
(let* ((s1 (getenv "LANG")) (s2 (getenv "LC_LANG")) (s (if s1 s1 s2)))
(message s)
(cond
((or (string= s "en") (string= s "us")) 'en)
((string= s "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-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 "\\]."))))
|