[BACK]Return to asir-texmacs.tm CVS log [TXT][DIR] Up to [local] / OpenXM / src / texmacs / asir / src
File: [local] / OpenXM / src / texmacs / asir / src / asir-texmacs.tm (download)

Revision 1.1, Sun Oct 15 12:49:49 2006 UTC (17 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, HEAD, DEB_REL_1_2_3-9 

asir-texmacs is a shell script to start OpenXM/asir
in TeXmacs on Debian.

<TeXmacs|1.0.6.4>

<style|generic>

<\body>
  <with|prog-language|openxm|prog-session|default|<\session>
    <\output>
      OpenXM engine (ox engine) interface with TeXmacs protocol.

      2004 (C) openxm.org under the BSD license. \ !asir; !sm1; !k0;
      !verbatim; !quit;

      Type in \ \ \ \ \ !reset; \ \ \ \ when the engine gets confused.\ 

      \ 

      This is Risa/Asir, Version 20060621 (Kobe Distribution).

      Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES
      LIMITED.

      Copyright 2000-2006, Risa/Asir committers, http://www.openxm.org/.

      GC 6.5 copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.

      PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,

      \ \ \ H. Cohen and M. Olivier.

      OpenXM/Risa/Asir-Contrib(20040302), Copyright 2000-2004, OpenXM.org
      committers

      ox_help(0); ox_help("keyword"); ox_grep("keyword");

      \ \ \ \ \ for help messages (unix version only).
    </output>

    <\input|openxm] >
      \;
    </input>
  </session>>
</body>