blob: a83328b8b195cfee0b519bb485816ff0533d3df9 (
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
|
;; $State$ $Date$ $Revision$
;;--------------------------------------------------------------------------;;
;;--------------------------------------------------------------------------;;
;; messages in various languages
(provide 'phox-lang)
(require 'cl) ; for case
(defvar phox-lang
(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)
(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 "\\]"))))
|