open-axiom repository from github
1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2;;3;; MODULE : init-openaxiom.scm4;; DESCRIPTION : Initialize openaxiom plugin5;; COPYRIGHT : (C) 1999 Joris van der Hoeven6;;7;; This software falls under the GNU general public license and comes WITHOUT8;; ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for details.9;; If you don't have this file, write to the Free Software Foundation, Inc.,10;; 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.11;;12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1314(define (openaxiom-initialize)15(import-from (texmacs plugin plugin-convert))16(lazy-input-converter (openaxiom-input) openaxiom))1718(plugin-configure openaxiom19(:require (url-exists-in-path? "open-axiom"))20(:initialize (openaxiom-initialize))21(:launch "tm_openaxiom")22(:session "OpenAxiom"))232425