Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

open-axiom repository from github

24005 views
1
2
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
3
;;
4
;; MODULE : init-openaxiom.scm
5
;; DESCRIPTION : Initialize openaxiom plugin
6
;; COPYRIGHT : (C) 1999 Joris van der Hoeven
7
;;
8
;; This software falls under the GNU general public license and comes WITHOUT
9
;; ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for details.
10
;; If you don't have this file, write to the Free Software Foundation, Inc.,
11
;; 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
12
;;
13
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
14
15
(define (openaxiom-initialize)
16
(import-from (texmacs plugin plugin-convert))
17
(lazy-input-converter (openaxiom-input) openaxiom))
18
19
(plugin-configure openaxiom
20
(:require (url-exists-in-path? "open-axiom"))
21
(:initialize (openaxiom-initialize))
22
(:launch "tm_openaxiom")
23
(:session "OpenAxiom"))
24
25