| version 1.1, 2004/03/05 19:31:12 |
version 1.7, 2004/03/16 03:26:40 |
|
|
| ; $OpenXM$ |
; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.6 2004/03/12 02:22:27 ohara Exp $ |
| |
|
| |
(define (openxm-eval t) |
| |
(import-from (texmacs plugin plugin-cmd)) |
| |
(import-from (texmacs plugin plugin-convert)) |
| |
(plugin-eval "openxm" "default" (object->tree t))) |
| |
|
| |
(define (openxm-eval-paste t) |
| |
(insert-tree (object->tree (openxm-eval t)))) |
| |
|
| |
(define (openxm-path t) |
| |
(if (string? t) |
| |
(let* ((openxm-home (or (getenv "OpenXM_HOME") "/usr/local/OpenXM")) |
| |
(local-path (string-append openxm-home "/" t)) |
| |
(web-prefix "http://www.math.kobe-u.ac.jp/OpenXM/Current/") |
| |
(web-path (string-append web-prefix t))) |
| |
(if (url-exists? local-path) local-path web-path)))) |
| |
|
| |
(define (w3m t) |
| |
(if (string? t) |
| |
(system (string-append "rxvt -g 100x50 -e w3m " t "&")))) |
| |
|
| |
(define (w3m-search t) |
| |
(w3m (openxm-path t))) |
| |
|
| (define (openxm-initialize) |
(define (openxm-initialize) |
| (menu-extend texmacs-session-help-icons |
(menu-extend texmacs-session-help-icons |
| (if (and (in-openxm?) |
(if (in-openxm?) |
| (url-exists? "/usr/local/OpenXM/doc/asir2000/html-eg/man_toc.html")) |
|
| | |
| |
| ((balloon (icon "tm_help.xpm") "Risa/Asir manual") |
((balloon (icon "tm_help.xpm") "Risa/Asir manual") |
| (load-help-buffer "/usr/local/OpenXM/doc/asir2000/html-eg/man_toc.html"))) ) |
(w3m-search "doc/asir2000/html-jp/man_toc.html")))) |
| (menu-extend texmacs-extra-menu |
(menu-extend texmacs-extra-menu |
| (if (in-openxm?) |
(if (in-openxm?) |
| (=> "OpenXM" |
(=> "OpenXM" |
| ("Asir mode" (insert-string "!asir;")) |
(-> "Select engines" |
| ("Kan/sm1 mode" (insert-string "!sm1;")) |
("Risa/Asir" (insert-string "!asir;")) |
| --- |
("Kan/sm1" (insert-string "!sm1;"))) |
| (-> "Manuals" |
(-> "Select display style" |
| ("Risa/Asir manual" (load-help-buffer "/usr/local/OpenXM/doc/asir2000/html-eg/man_toc.html")) |
("LaTeX" (openxm-eval "!latex;")) |
| ("Asir-contrib manual" (load-help-buffer "/usr/local/OpenXM/doc/asir-contrib/html-en/cman-en_toc.html"))) |
("verbatim" (openxm-eval "!verbatim;"))) |
| (-> "Web" |
(-> "Load Modules (Asir)" |
| ("The OpenXM Project" (load-buffer "http://www.math.kobe-u.ac.jp/OpenXM/"))) |
("dsolv" (openxm-eval "load(\"dsolv\");")) |
| ))) |
("ccurve" (openxm-eval "load(\"ccurve.rr\");")) |
| |
("yang" (openxm-eval "load(\"yang.rr\");")) |
| |
) |
| |
(-> "Display Configuration (Asir)" |
| |
("Load default" (openxm-eval "noro_print_env(0);")) |
| |
("Weyl algebra" (openxm-eval "noro_print_env(\"weyl\");")) |
| |
("Euler OPs" (openxm-eval "noro_print_env(\"yang\");")) |
| |
) |
| |
--- |
| |
(-> "Manuals" |
| |
("Risa/Asir manual" |
| |
(w3m-search "doc/asir2000/html-jp/man_toc.html")) |
| |
("Asir-contrib manual" |
| |
(w3m-search "doc/asir-contrib/html-ja/cman-ja_toc.html"))) |
| |
(-> "Web" |
| |
("The OpenXM Project" (w3m "http://www.math.kobe-u.ac.jp/OpenXM/"))) |
| |
))) |
| ) |
) |
| |
|
| (plugin-configure openxm |
(plugin-configure openxm |
| (:require (url-exists-in-path? "ox_texmacs")) |
(:require (url-exists-in-path? "openxm")) |
| (:initialize (openxm-initialize)) |
(:initialize (openxm-initialize)) |
| (:launch "ox_texmacs") |
(:launch "exec openxm ox_texmacs") |
| (:session "OpenXM")) |
(:session "OpenXM[asir,sm1]")) |