version 1.17, 2006/02/13 10:00:05 |
version 1.20, 2009/02/23 08:11:26 |
|
|
; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.16 2006/02/13 09:21:08 ohara Exp $ |
; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.19 2009/02/22 17:30:03 ohara Exp $ |
|
|
(define (alist-search alist) |
(define (alist-search alist) |
(let* ((lang (or (getenv "LANG") "C")) |
(let* ((lang (or (getenv "LANG") "C")) |
|
|
|
|
(define manual-asir2000 |
(define manual-asir2000 |
(alist-search |
(alist-search |
'(("C" . "doc/asir2000/html-eg/man_toc.html") ("ja" . "doc/asir2000/html-jp/man_toc.html")))) |
'(("C" . "doc/asir2000/html-en/man_toc.html") ("ja" . "doc/asir2000/html-ja/man_toc.html")))) |
|
|
(define manual-asir-contrib |
(define manual-asir-contrib |
(alist-search |
(alist-search |
'(("C" . "doc/asir-contrib/html-en/cman-en_toc.html") ("ja" . "doc/asir-contrib/html-ja/cman-ja_toc.html")))) |
'(("C" . "doc/asir-contrib/en/cman-html/cman-en_toc.html") ("ja" . "doc/asir-contrib/ja/cman-html/cman-ja_toc.html")))) |
|
|
; (define (openxm-eval t) |
; (define (openxm-eval t) |
; (import-from (texmacs plugin plugin-cmd)) |
; (import-from (texmacs plugin plugin-cmd)) |
|
|
(menu-extend texmacs-extra-menu |
(menu-extend texmacs-extra-menu |
(if (in-openxm?) |
(if (in-openxm?) |
(=> "OpenXM" |
(=> "OpenXM" |
(-> "Select engines" |
; (-> "Select engines" |
("Risa/Asir" (insert-string "!asir;")) |
; ("Risa/Asir" (insert-string "!asir;")) |
("Kan/sm1" (insert-string "!sm1;"))) |
; ("Kan/sm1" (insert-string "!sm1;"))) |
; (-> "Select display style" |
; (-> "Select display style" |
; ("LaTeX" (openxm-eval "!latex;")) |
; ("LaTeX" (openxm-eval "!latex;")) |
; ("verbatim" (openxm-eval "!verbatim;"))) |
; ("verbatim" (openxm-eval "!verbatim;"))) |
|
|
; ("Weyl algebra" (openxm-eval "noro_print_env(\"weyl\");")) |
; ("Weyl algebra" (openxm-eval "noro_print_env(\"weyl\");")) |
; ("Euler OPs" (openxm-eval "noro_print_env(\"yang\");")) |
; ("Euler OPs" (openxm-eval "noro_print_env(\"yang\");")) |
; ) |
; ) |
--- |
; --- |
(-> "Manuals" |
(-> "Manuals" |
("Risa/Asir manual" |
("Risa/Asir manual" |
(w3m-search manual-asir2000)) |
(w3m-search manual-asir2000)) |