version 1.5, 2000/02/11 04:31:34 |
version 1.6, 2000/02/27 05:24:26 |
|
|
%$OpenXM: OpenXM/src/asir-contrib/packages/doc/cman.texi,v 1.4 2000/02/06 06:39:48 takayama Exp $ |
%$OpenXM: OpenXM/src/asir-contrib/packages/doc/cman.texi,v 1.5 2000/02/11 04:31:34 takayama Exp $ |
\input jtexinfo |
\input jtexinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
|
|
|
|
@title Asir OpenXM-Contrib |
@title Asir OpenXM-Contrib |
@subtitle Asir OpenXM-Contrib User's Manual ($BF|K\8lHG(B) |
@subtitle Asir OpenXM-Contrib User's Manual ($BF|K\8lHG(B) |
@subtitle Edition 1.0 for Asir2000 |
@subtitle Edition 1.1.2 for OpenXM/Asir2000 |
@subtitle January 2000 |
@subtitle February 2000 |
|
|
@author by OpenXM Developing Team |
@author by OpenXM Developing Team |
@end titlepage |
@end titlepage |
|
|
* PHC $BH!?t(B:: |
* PHC $BH!?t(B:: |
* OpenMath $BH!?t(B:: |
* OpenMath $BH!?t(B:: |
* SM1 $BH!?t(B:: |
* SM1 $BH!?t(B:: |
|
* DSOLV $BH!?t(B:: |
|
* TIGERS $BH!?t(B:: |
* $B$=$NB>$NH!?t(B:: |
* $B$=$NB>$NH!?t(B:: |
* $BIUO?(B:: |
* $BIUO?(B:: |
* $B:w0z(B:: |
* $B:w0z(B:: |
|
|
@include oxphc.texi |
@include oxphc.texi |
@include oxsm1.texi |
@include oxsm1.texi |
@include dsolv-jp.texi |
@include dsolv-jp.texi |
|
@include oxtigers-jp.texi |
@include otherfunc.texi |
@include otherfunc.texi |
|
|
@node $B:w0z(B,,, Top |
@node $B:w0z(B,,, Top |