From a1d95abe979ddc8bb7e5f3cd6cde9840fcf77932 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Tue, 5 Jul 2005 11:51:50 +0000
Subject: *** empty log message ***

---
 phox/.cvsignore   |  1 +
 phox/phox-lang.el | 45 ++++++++++++++++++++++++++++++++++++++++++++-
 phox/phox.el      |  7 +++++++
 3 files changed, 52 insertions(+), 1 deletion(-)

(limited to 'phox')

diff --git a/phox/.cvsignore b/phox/.cvsignore
index 79f631e7..f0b14b7a 100644
--- a/phox/.cvsignore
+++ b/phox/.cvsignore
@@ -10,3 +10,4 @@ config.dos
 *.pho
 *.phi
 *.pht
+*.math.tex
diff --git a/phox/phox-lang.el b/phox/phox-lang.el
index 2177d7dc..a26f3bdc 100644
--- a/phox/phox-lang.el
+++ b/phox/phox-lang.el
@@ -1,2 +1,45 @@
-;; FIXME: PhoX developers, please commit this file!
+;; $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-prove ()
+  (case phox-lang 
+    (en "Let us prove \\[ \\].")
+    (fr "Prouvons \\[ \\].")))
+
+(defun phox-lang-let ()
+  (case phox-lang 
+    (en "Let \\[ \\] = \\[ \\].")
+    (fr "Définissons \\[ \\] = \\[ \\].")))
diff --git a/phox/phox.el b/phox/phox.el
index 047d8ec4..204854e7 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -41,6 +41,7 @@
 ;  :type 'boolean
 ;  :group 'phox)
 
+
 (defcustom phox-web-page
   "http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html"
   "URL of web page for PhoX."
@@ -185,6 +186,12 @@
 
     (define-key phox-mode-map [(control c) (meta d)] 
       'phox-delete-symbol-on-cursor)  
+    (if phox-x-symbol-enable
+	(progn
+	  (setq x-symbol-language 'phox)
+	  (x-symbol-mode t))) ; just to be sure
+    (font-lock-mode t) ; just to be sure (not always activated on OSX ??
+
 )
 
 (define-derived-mode phox-shell-mode proof-shell-mode
-- 
cgit v1.2.3