version 1.16, 2006/02/13 09:21:08 |
version 1.17, 2006/02/13 10:00:05 |
|
|
; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.15 2006/02/13 06:14:22 ohara Exp $ |
; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.16 2006/02/13 09:21:08 ohara Exp $ |
|
|
(define (alist-search alist) |
(define (alist-search alist) |
(let* ((lang (or (getenv "LANG") "C")) |
(let* ((lang (or (getenv "LANG") "C")) |
|
|
(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/html-en/cman-en_toc.html") ("ja" . "doc/asir-contrib/html-ja/cman-ja_toc.html")))) |
|
|
(define openxm-eval script-apply) |
|
; (define (openxm-eval t) |
; (define (openxm-eval t) |
; (import-from (texmacs plugin plugin-cmd)) |
; (import-from (texmacs plugin plugin-cmd)) |
; (import-from (texmacs plugin plugin-convert)) |
; (import-from (texmacs plugin plugin-convert)) |
|
|
((url-exists-in-path? "kterm") "kterm -g 100x50 -e w3m") |
((url-exists-in-path? "kterm") "kterm -g 100x50 -e w3m") |
((url-exists-in-path? "xterm") "xterm -g 100x50 -e w3m") |
((url-exists-in-path? "xterm") "xterm -g 100x50 -e w3m") |
(else #f))) |
(else #f))) |
|
((url-exists-in-path? "firefox" ) "firefox" ) |
((url-exists-in-path? "mozilla" ) "mozilla" ) |
((url-exists-in-path? "mozilla" ) "mozilla" ) |
((url-exists-in-path? "netscape") "netscape") |
((url-exists-in-path? "netscape") "netscape") |
((url-exists-in-path? "iexplore") "iexplore") |
((url-exists-in-path? "iexplore") "iexplore") |
|
|
(-> "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;"))) |
(-> "Load Modules (Asir)" |
; (-> "Load Modules (Asir)" |
("ccurve" (openxm-eval "load(\"ccurve.rr\");")) |
; ("ccurve" (openxm-eval "load(\"ccurve.rr\");")) |
("dsolv" (openxm-eval "load(\"dsolv\");")) |
; ("dsolv" (openxm-eval "load(\"dsolv\");")) |
("ratint" (openxm-eval "load(\"ratint\");")) |
; ("ratint" (openxm-eval "load(\"ratint\");")) |
("solv" (openxm-eval "load(\"solv\");")) |
; ("solv" (openxm-eval "load(\"solv\");")) |
("sp" (openxm-eval "load(\"sp\");")) |
; ("sp" (openxm-eval "load(\"sp\");")) |
("sturm" (openxm-eval "load(\"sturm\");")) |
; ("sturm" (openxm-eval "load(\"sturm\");")) |
("sym" (openxm-eval "load(\"sym\");")) |
; ("sym" (openxm-eval "load(\"sym\");")) |
("weight" (openxm-eval "load(\"weight\");")) |
; ("weight" (openxm-eval "load(\"weight\");")) |
("yang" (openxm-eval "load(\"yang.rr\");")) |
; ("yang" (openxm-eval "load(\"yang.rr\");")) |
) |
; ) |
(-> "Display Configuration (Asir)" |
; (-> "Display Configuration (Asir)" |
("Load default" (openxm-eval "noro_print_env(0);")) |
; ("Load default" (openxm-eval "noro_print_env(0);")) |
("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" |
|
|
) |
) |
|
|
(define (openxm-serialize lan t) |
(define (openxm-serialize lan t) |
(import-from (utils plugin plugin-cmd)) |
(import-from (utils plugins plugin-cmd)) |
(with u (pre-serialize lan t) |
(with u (pre-serialize lan t) |
(with s (texmacs->verbatim (stree->tree u)) |
(with s (texmacs->verbatim (stree->tree u)) |
(string-append (string-replace s "\n" "\v") "\n") |
(string-append (string-replace s "\n" "\v") "\n") |