diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-07-04 15:29:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-07-04 15:29:29 +0000 |
| commit | 44a49cb801191cd6e803204aaffe04ab7a65a345 (patch) | |
| tree | a90e6644218d0c25afcabdedeb7c7acc39129c47 /contrib/texmacs/progs/init-openaxiom.scm | |
| parent | 8a4f74e2a21557463176766306120b13fa80e457 (diff) | |
| download | open-axiom-44a49cb801191cd6e803204aaffe04ab7a65a345.tar.gz | |
2009-07-04 Alfredo Portes <doyenatccny@gmail.com>
* contrib/texmacs: New.
Diffstat (limited to 'contrib/texmacs/progs/init-openaxiom.scm')
| -rwxr-xr-x | contrib/texmacs/progs/init-openaxiom.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/contrib/texmacs/progs/init-openaxiom.scm b/contrib/texmacs/progs/init-openaxiom.scm new file mode 100755 index 00000000..b6d485a3 --- /dev/null +++ b/contrib/texmacs/progs/init-openaxiom.scm @@ -0,0 +1,23 @@ +
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; MODULE : init-openaxiom.scm
+;; DESCRIPTION : Initialize openaxiom plugin
+;; COPYRIGHT : (C) 1999 Joris van der Hoeven
+;;
+;; This software falls under the GNU general public license and comes WITHOUT
+;; ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for details.
+;; If you don't have this file, write to the Free Software Foundation, Inc.,
+;; 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+(define (openaxiom-initialize)
+ (import-from (texmacs plugin plugin-convert))
+ (lazy-input-converter (openaxiom-input) openaxiom))
+
+(plugin-configure openaxiom
+ (:require (url-exists-in-path? "open-axiom"))
+ (:initialize (openaxiom-initialize))
+ (:launch "tm_openaxiom")
+ (:session "OpenAxiom"))
|