Return to asir-texmacs.tm CVS log

Up to [local] / OpenXM / src / texmacs / asir / src

Annotation of OpenXM/src/texmacs/asir/src/asir-texmacs.tm, Revision 1.1

1.1     ! takayama    1: <TeXmacs|1.0.6.4>
        !             2:
        !             3: <style|generic>
        !             4:
        !             5: <\body>
        !             6:   <with|prog-language|openxm|prog-session|default|<\session>
        !             7:     <\output>
        !             8:       OpenXM engine (ox engine) interface with TeXmacs protocol.
        !             9:
        !            10:       2004 (C) openxm.org under the BSD license. \ !asir; !sm1; !k0;
        !            11:       !verbatim; !quit;
        !            12:
        !            13:       Type in \ \ \ \ \ !reset; \ \ \ \ when the engine gets confused.\
        !            14:
        !            15:       \
        !            16:
        !            17:       This is Risa/Asir, Version 20060621 (Kobe Distribution).
        !            18:
        !            19:       Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES
        !            20:       LIMITED.
        !            21:
        !            22:       Copyright 2000-2006, Risa/Asir committers, http://www.openxm.org/.
        !            23:
        !            24:       GC 6.5 copyright 1988-2005, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.
        !            25:
        !            26:       PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,
        !            27:
        !            28:       \ \ \ H. Cohen and M. Olivier.
        !            29:
        !            30:       OpenXM/Risa/Asir-Contrib(20040302), Copyright 2000-2004, OpenXM.org
        !            31:       committers
        !            32:
        !            33:       ox_help(0); ox_help("keyword"); ox_grep("keyword");
        !            34:
        !            35:       \ \ \ \ \ for help messages (unix version only).
        !            36:     </output>
        !            37:
        !            38:     <\input|openxm] >
        !            39:       \;
        !            40:     </input>
        !            41:   </session>>
        !            42: </body>