diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-07-05 11:51:50 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-07-05 11:51:50 +0000 |
| commit | a1d95abe979ddc8bb7e5f3cd6cde9840fcf77932 (patch) | |
| tree | e4f1f8fa5bbd07e8576d28e65efcbb9d84efb357 /phox | |
| parent | 7698e030e7183583807fa2304fea6438d85a3bef (diff) | |
*** empty log message ***
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/.cvsignore | 1 | ||||
| -rw-r--r-- | phox/phox-lang.el | 45 | ||||
| -rw-r--r-- | phox/phox.el | 7 |
3 files changed, 52 insertions, 1 deletions
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 |