=================================================================== RCS file: /home/cvs/OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST 2000/03/02 10:32:39 1.1 +++ OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST 2000/03/04 04:00:48 1.2 @@ -1,4 +1,9 @@ -OpenXM/bin/openxm +bin/asir +bin/sm1 +bin/oxMathematica +bin/oxmath +bin/ox +bin/gp OpenXM/bin/Makefile OpenXM/bin/fep.fbsd OpenXM/bin/lin_phcv2p @@ -16,7 +21,6 @@ OpenXM/bin/ox OpenXM/bin/phc6 OpenXM/bin/tigers OpenXM/lib/asir/asir_key -OpenXM/lib/asir/dmul OpenXM/lib/asir/asir OpenXM/lib/asir/alpi OpenXM/lib/asir/xm @@ -39,6 +43,7 @@ OpenXM/lib/asir/defs.h OpenXM/lib/asir/cyclic OpenXM/lib/asir/const OpenXM/lib/asir/bgk +OpenXM/lib/asir/dmul OpenXM/lib/asir/help-eg/loop OpenXM/lib/asir/help-eg/idiv OpenXM/lib/asir/help-eg/fac @@ -99,6 +104,7 @@ OpenXM/lib/asir/help-eg/rtostr OpenXM/lib/asir/help-eg/strtov OpenXM/lib/asir/help-eg/eval_str OpenXM/lib/asir/help-eg/strtoascii +OpenXM/lib/asir/help-eg/str_len OpenXM/lib/asir/help-eg/end OpenXM/lib/asir/help-eg/load OpenXM/lib/asir/help-eg/which @@ -106,16 +112,17 @@ OpenXM/lib/asir/help-eg/output OpenXM/lib/asir/help-eg/bsave OpenXM/lib/asir/help-eg/bload27 OpenXM/lib/asir/help-eg/print +OpenXM/lib/asir/help-eg/open_file OpenXM/lib/asir/help-eg/ctrl OpenXM/lib/asir/help-eg/debug OpenXM/lib/asir/help-eg/error OpenXM/lib/asir/help-eg/help OpenXM/lib/asir/help-eg/time OpenXM/lib/asir/help-eg/cputime -OpenXM/lib/asir/help-eg/map OpenXM/lib/asir/help-eg/heap OpenXM/lib/asir/help-eg/version OpenXM/lib/asir/help-eg/shell +OpenXM/lib/asir/help-eg/map OpenXM/lib/asir/help-eg/flist OpenXM/lib/asir/help-eg/delete_history OpenXM/lib/asir/help-eg/get_rootdir @@ -126,6 +133,7 @@ OpenXM/lib/asir/help-eg/ox_launch_generic OpenXM/lib/asir/help-eg/generate_port OpenXM/lib/asir/help-eg/ox_asir OpenXM/lib/asir/help-eg/ox_rpc +OpenXM/lib/asir/help-eg/gr OpenXM/lib/asir/help-eg/ox_reset OpenXM/lib/asir/help-eg/ox_push_cmo OpenXM/lib/asir/help-eg/ox_pop_cmo @@ -136,11 +144,10 @@ OpenXM/lib/asir/help-eg/ox_select OpenXM/lib/asir/help-eg/ox_flush OpenXM/lib/asir/help-eg/ox_get_serverinfo OpenXM/lib/asir/help-eg/ifplot -OpenXM/lib/asir/help-eg/gr OpenXM/lib/asir/help-eg/lex_hensel OpenXM/lib/asir/help-eg/lex_hensel_gsl -OpenXM/lib/asir/help-eg/tolexm OpenXM/lib/asir/help-eg/gr_minipoly +OpenXM/lib/asir/help-eg/tolexm OpenXM/lib/asir/help-eg/dp_gr_main OpenXM/lib/asir/help-eg/dp_f4_main OpenXM/lib/asir/help-eg/dp_gr_flags @@ -153,7 +160,6 @@ OpenXM/lib/asir/help-eg/dp_ptozp OpenXM/lib/asir/help-eg/dp_nf OpenXM/lib/asir/help-eg/dp_hm OpenXM/lib/asir/help-eg/dp_td -OpenXM/lib/asir/help-eg/alg OpenXM/lib/asir/help-eg/dp_lcm OpenXM/lib/asir/help-eg/dp_redble OpenXM/lib/asir/help-eg/dp_subd @@ -167,13 +173,14 @@ OpenXM/lib/asir/help-eg/p_terms OpenXM/lib/asir/help-eg/gb_comp OpenXM/lib/asir/help-eg/katsura OpenXM/lib/asir/help-eg/primadec +OpenXM/lib/asir/help-eg/alg OpenXM/lib/asir/help-eg/newalg OpenXM/lib/asir/help-eg/defpoly OpenXM/lib/asir/help-eg/algv OpenXM/lib/asir/help-eg/simpalg -OpenXM/lib/asir/help-eg/cr_gcda OpenXM/lib/asir/help-eg/algptorat OpenXM/lib/asir/help-eg/rattoalgp +OpenXM/lib/asir/help-eg/cr_gcda OpenXM/lib/asir/help-eg/sp_norm OpenXM/lib/asir/help-eg/asq OpenXM/lib/asir/help-eg/sp @@ -289,6 +296,7 @@ OpenXM/lib/asir/help-jp/rtostr OpenXM/lib/asir/help-jp/strtov OpenXM/lib/asir/help-jp/eval_str OpenXM/lib/asir/help-jp/strtoascii +OpenXM/lib/asir/help-jp/str_len OpenXM/lib/asir/help-jp/end OpenXM/lib/asir/help-jp/load OpenXM/lib/asir/help-jp/which @@ -296,16 +304,17 @@ OpenXM/lib/asir/help-jp/output OpenXM/lib/asir/help-jp/bsave OpenXM/lib/asir/help-jp/bload27 OpenXM/lib/asir/help-jp/print +OpenXM/lib/asir/help-jp/open_file OpenXM/lib/asir/help-jp/ctrl OpenXM/lib/asir/help-jp/debug OpenXM/lib/asir/help-jp/error OpenXM/lib/asir/help-jp/help +OpenXM/lib/asir/help-jp/map OpenXM/lib/asir/help-jp/time OpenXM/lib/asir/help-jp/cputime OpenXM/lib/asir/help-jp/heap OpenXM/lib/asir/help-jp/version OpenXM/lib/asir/help-jp/shell -OpenXM/lib/asir/help-jp/map OpenXM/lib/asir/help-jp/flist OpenXM/lib/asir/help-jp/delete_history OpenXM/lib/asir/help-jp/get_rootdir @@ -329,6 +338,7 @@ OpenXM/lib/asir/help-jp/ifplot OpenXM/lib/asir/help-jp/gr OpenXM/lib/asir/help-jp/lex_hensel OpenXM/lib/asir/help-jp/lex_hensel_gsl +OpenXM/lib/asir/help-jp/alg OpenXM/lib/asir/help-jp/gr_minipoly OpenXM/lib/asir/help-jp/tolexm OpenXM/lib/asir/help-jp/dp_gr_main @@ -358,7 +368,6 @@ OpenXM/lib/asir/help-jp/katsura OpenXM/lib/asir/help-jp/primadec OpenXM/lib/asir/help-jp/newalg OpenXM/lib/asir/help-jp/defpoly -OpenXM/lib/asir/help-jp/alg OpenXM/lib/asir/help-jp/algv OpenXM/lib/asir/help-jp/simpalg OpenXM/lib/asir/help-jp/algptorat @@ -420,86 +429,6 @@ OpenXM/lib/asir/help-jp/xm.help/gnuplot_output OpenXM/lib/asir/help-jp/xm.help/gnuplot OpenXM/lib/asir/help-jp/xm.help/dsolv_starting_term OpenXM/lib/asir/help-jp/xm.help/tigers -OpenXM/lib/java-support/OM2OXM.class -OpenXM/lib/java-support/OMproxy.class -OpenXM/lib/java-support/PolyCalc.class -OpenXM/lib/java-support/elimi.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OpenXM.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/SM.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_INT32.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ZZ.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_MONOMIAL32.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR2.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_NULL.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DATUM.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_STRING.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_MATHCAP.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_LIST.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_QQ.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ZERO.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS_GENERIC.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_RATIONAL.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_RECURSIVE_POLYNOMIAL.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DISTRIBUTED_POLYNOMIAL.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_POLYNOMIAL_IN_ONE_VARIABLE.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_BIGFLOAT.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_INDETERMINATE.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_TREE.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/DebugInputStream.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/MathcapViolation.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OXbody.class -OpenXM/lib/java-support/libnative.so -OpenXM/lib/java-support/OpenXM.jar -OpenXM/lib/java-support/OpenXM.class -OpenXM/lib/java-support/CMO_TREE.class -OpenXM/lib/java-support/CMO_INDETERMINATE.class -OpenXM/lib/java-support/CMO_BIGFLOAT.class -OpenXM/lib/java-support/CMO_RATIONAL.class -OpenXM/lib/java-support/CMO_POLYNOMIAL_IN_ONE_VARIABLE.class -OpenXM/lib/java-support/CMO_DISTRIBUTED_POLYNOMIAL.class -OpenXM/lib/java-support/CMO_RECURSIVE_POLYNOMIAL.class -OpenXM/lib/java-support/CMO_DMS_GENERIC.class -OpenXM/lib/java-support/CMO_DMS.class -OpenXM/lib/java-support/CMO_ZERO.class -OpenXM/lib/java-support/CMO_QQ.class -OpenXM/lib/java-support/CMO_LIST.class -OpenXM/lib/java-support/CMO_MATHCAP.class -OpenXM/lib/java-support/CMO_STRING.class -OpenXM/lib/java-support/CMO_DATUM.class -OpenXM/lib/java-support/CMO_NULL.class -OpenXM/lib/java-support/CMO_ERROR2.class -OpenXM/lib/java-support/CMO_ERROR.class -OpenXM/lib/java-support/CMO_MONOMIAL32.class -OpenXM/lib/java-support/CMO_ZZ.class -OpenXM/lib/java-support/CMO.class -OpenXM/lib/java-support/CMO_INT32.class -OpenXM/lib/java-support/SM.class -OpenXM/lib/java-support/OpenXMconnection.class -OpenXM/lib/asir-contrib/Matrix -OpenXM/lib/asir-contrib/tigers -OpenXM/lib/asir-contrib/phc -OpenXM/lib/asir-contrib/igraph -OpenXM/lib/asir-contrib/beta -OpenXM/lib/asir-contrib/Dmodule -OpenXM/lib/asir-contrib/sm1 -OpenXM/lib/asir-contrib/om -OpenXM/lib/asir-contrib/gnuplot -OpenXM/lib/asir-contrib/bench-1 -OpenXM/lib/asir-contrib/Diff -OpenXM/lib/asir-contrib/sets -OpenXM/lib/asir-contrib/m -OpenXM/lib/asir-contrib/fourier-0 -OpenXM/lib/asir-contrib/longname -OpenXM/lib/math/primadec.m -OpenXM/lib/math/beta.m -OpenXM/lib/math/oxclient.m -OpenXM/lib/libasir.a -OpenXM/lib/libasir-gc.a -OpenXM/lib/libasir_pari_X.a OpenXM/lib/k097/var.sm1 OpenXM/lib/k097/debug/a24.k OpenXM/lib/k097/debug/ahg.k @@ -530,8 +459,8 @@ OpenXM/lib/k097/debug/trip1.k OpenXM/lib/k097/debug/trip2.k OpenXM/lib/k097/debug/trip3.k OpenXM/lib/k097/debug/tune1.k -OpenXM/lib/k097/debug/word.kk OpenXM/lib/k097/debug/ahg2.k.sm1 +OpenXM/lib/k097/debug/word.kk OpenXM/lib/k097/object.kk OpenXM/lib/k097/startup.k OpenXM/lib/k097/slib.k @@ -541,6 +470,7 @@ OpenXM/lib/k097/help.k OpenXM/lib/k097/slib.sm1 OpenXM/lib/k097/incmac.sm1 OpenXM/lib/k097/factor-b.sm1 +OpenXM/lib/sm1/util.sm1 OpenXM/lib/sm1/tu1.sm1 OpenXM/lib/sm1/tower.sm1 OpenXM/lib/sm1/tower-sugar.sm1 @@ -578,22 +508,16 @@ OpenXM/lib/sm1/cv0.sm1 OpenXM/lib/sm1/complex.sm1 OpenXM/lib/sm1/cohom.sm1 OpenXM/lib/sm1/callsm1b.sm1 -OpenXM/lib/sm1/xml.sm1 +OpenXM/lib/sm1/callsm1.sm1 OpenXM/lib/sm1/bfunction.sm1 OpenXM/lib/sm1/basicCD.sm1 OpenXM/lib/sm1/appell.sm1 OpenXM/lib/sm1/Sm1rc -OpenXM/lib/sm1/callsm1.sm1 +OpenXM/lib/sm1/xml.sm1 OpenXM/lib/sm1/var.sm1 -OpenXM/lib/sm1/util.sm1 OpenXM/lib/libpari.a.2.0 OpenXM/lib/libpari.a OpenXM/lib/libpari.so.2.0.17 -OpenXM/lib/pari/pari.elc -OpenXM/lib/pari/pari.el -OpenXM/lib/pari/pariemacs.txt -OpenXM/lib/pari/with-syntax.el -OpenXM/lib/pari/pari-translator.el OpenXM/lib/pari/translations OpenXM/lib/pari/paricfg.tex OpenXM/lib/pari/parimacro.tex @@ -603,16 +527,88 @@ OpenXM/lib/pari/usersch3.tex OpenXM/lib/pari/usersch4.tex OpenXM/lib/pari/usersch5.tex OpenXM/lib/pari/users.dvi +OpenXM/lib/pari/tutorial.dvi OpenXM/lib/pari/refcard.dvi -OpenXM/Copyright/Copyright.generic +OpenXM/lib/pari/refcard.ps +OpenXM/lib/libasir_pari_X.a +OpenXM/lib/libasir-gc.a +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_BIGFLOAT.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DATUM.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DISTRIBUTED_POLYNOMIAL.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS_GENERIC.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR2.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_INDETERMINATE.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_INT32.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_LIST.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_MATHCAP.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_MONOMIAL32.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_NULL.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_POLYNOMIAL_IN_ONE_VARIABLE.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_QQ.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_RATIONAL.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_RECURSIVE_POLYNOMIAL.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_STRING.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_TREE.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ZERO.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ZZ.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/DebugInputStream.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/MathcapViolation.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OpenXM.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OXbody.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/SM.class +OpenXM/lib/java-support/OM2OXM.class +OpenXM/lib/java-support/OMproxy.class +OpenXM/lib/math/primadec.m +OpenXM/lib/math/beta.m +OpenXM/lib/math/oxclient.m +OpenXM/lib/asir-contrib/Matrix +OpenXM/lib/asir-contrib/tigers +OpenXM/lib/asir-contrib/phc +OpenXM/lib/asir-contrib/igraph +OpenXM/lib/asir-contrib/beta +OpenXM/lib/asir-contrib/Dmodule +OpenXM/lib/asir-contrib/sm1 +OpenXM/lib/asir-contrib/om +OpenXM/lib/asir-contrib/gnuplot +OpenXM/lib/asir-contrib/bench-1 +OpenXM/lib/asir-contrib/Diff +OpenXM/lib/asir-contrib/sets +OpenXM/lib/asir-contrib/m +OpenXM/lib/asir-contrib/fourier-0 +OpenXM/lib/asir-contrib/longname OpenXM/Copyright/Copyright.asir2000 -OpenXM/Copyright/Makefile +OpenXM/Copyright/Copyright.generic OpenXM/Copyright/Copyright.mathlink +OpenXM/Copyright/Makefile OpenXM/Copyright/Contrib/Copyright.gnuplot OpenXM/Copyright/Contrib/COPYRIGHT.pari OpenXM/Copyright/Contrib/COPYING.LIB.gmp OpenXM/Copyright/Contrib/README.gc -OpenXM/doc/OpenXM-FAQ-jp.txt +OpenXM/doc/OpenXM-specs/Makefile +OpenXM/doc/OpenXM-specs/OpenXM.tex +OpenXM/doc/OpenXM-specs/README +OpenXM/doc/OpenXM-specs/cmo-basic0.tex +OpenXM/doc/OpenXM-specs/cmo-basic1.tex +OpenXM/doc/OpenXM-specs/cmo-register.tex +OpenXM/doc/OpenXM-specs/communication-model.tex +OpenXM/doc/OpenXM-specs/control.tex +OpenXM/doc/OpenXM-specs/error.tex +OpenXM/doc/OpenXM-specs/formal-expression.tex +OpenXM/doc/OpenXM-specs/howtowrite.tex +OpenXM/doc/OpenXM-specs/implementation.tex +OpenXM/doc/OpenXM-specs/introduction.tex +OpenXM/doc/OpenXM-specs/library.tex +OpenXM/doc/OpenXM-specs/ox-localdata.tex +OpenXM/doc/OpenXM-specs/project.tex +OpenXM/doc/OpenXM-specs/redefine.tex +OpenXM/doc/OpenXM-specs/reset.eps +OpenXM/doc/OpenXM-specs/stackmachine.tex +OpenXM/doc/OpenXM-specs/start-session.tex +OpenXM/doc/OpenXM-specs/string-expression.tex OpenXM/doc/OpenXM-specs/tmpEG/OpenXM.tex OpenXM/doc/OpenXM-specs/tmpEG/cmo-basic0.tex OpenXM/doc/OpenXM-specs/tmpEG/cmo-basic1.tex @@ -631,27 +627,7 @@ OpenXM/doc/OpenXM-specs/tmpEG/redefine.tex OpenXM/doc/OpenXM-specs/tmpEG/stackmachine.tex OpenXM/doc/OpenXM-specs/tmpEG/start-session.tex OpenXM/doc/OpenXM-specs/tmpEG/string-expression.tex -OpenXM/doc/OpenXM-specs/Makefile -OpenXM/doc/OpenXM-specs/OpenXM.tex OpenXM/doc/OpenXM-specs/OpenXM-eg.dvi -OpenXM/doc/OpenXM-specs/cmo-basic0.tex -OpenXM/doc/OpenXM-specs/reset.eps -OpenXM/doc/OpenXM-specs/cmo-register.tex -OpenXM/doc/OpenXM-specs/communication-model.tex -OpenXM/doc/OpenXM-specs/control.tex -OpenXM/doc/OpenXM-specs/error.tex -OpenXM/doc/OpenXM-specs/formal-expression.tex -OpenXM/doc/OpenXM-specs/howtowrite.tex -OpenXM/doc/OpenXM-specs/implementation.tex -OpenXM/doc/OpenXM-specs/introduction.tex -OpenXM/doc/OpenXM-specs/library.tex -OpenXM/doc/OpenXM-specs/ox-localdata.tex -OpenXM/doc/OpenXM-specs/project.tex -OpenXM/doc/OpenXM-specs/redefine.tex -OpenXM/doc/OpenXM-specs/stackmachine.tex -OpenXM/doc/OpenXM-specs/README -OpenXM/doc/OpenXM-specs/start-session.tex -OpenXM/doc/OpenXM-specs/string-expression.tex OpenXM/doc/OpenXM-specs/tmpJP/OpenXM.tex OpenXM/doc/OpenXM-specs/tmpJP/cmo-basic0.tex OpenXM/doc/OpenXM-specs/tmpJP/cmo-basic1.tex @@ -670,16 +646,19 @@ OpenXM/doc/OpenXM-specs/tmpJP/redefine.tex OpenXM/doc/OpenXM-specs/tmpJP/stackmachine.tex OpenXM/doc/OpenXM-specs/tmpJP/start-session.tex OpenXM/doc/OpenXM-specs/tmpJP/string-expression.tex -OpenXM/doc/OpenXM-specs/cmo-basic1.tex OpenXM/doc/OpenXM-specs/OpenXM-jp.dvi +OpenXM/doc/OpenXM-FAQ-jp.txt +OpenXM/doc/plathome-jp.txt +OpenXM/doc/oxlib/Makefile +OpenXM/doc/oxlib/oxasir.h +OpenXM/doc/oxlib/test1.c +OpenXM/doc/oxlib/test2.c +OpenXM/doc/pari/users.dvi +OpenXM/doc/pari/tutorial.dvi OpenXM/doc/kan96xx/intro.tex OpenXM/doc/kan96xx/onlinehelp.tex OpenXM/doc/kan96xx/intro.ps OpenXM/doc/kan96xx/onlinehelp.ps -OpenXM/doc/asir-contrib/cman-jp.dvi -OpenXM/doc/asir-contrib/cman-jp.ps -OpenXM/doc/asir-contrib/cman-eg.dvi -OpenXM/doc/asir-contrib/cman-eg.ps OpenXM/doc/ox_math/ox_math.dvi OpenXM/doc/ox_math/readme-eg OpenXM/doc/ox_math/readme-jp @@ -687,13 +666,522 @@ OpenXM/doc/ox_math/samplelog-sm1.txt OpenXM/doc/ox_math/ox_math.tex OpenXM/doc/ox_math/math2ox.dvi OpenXM/doc/ox_math/math2ox.tex +OpenXM/doc/asir2000/html-eg/man_toc.html +OpenXM/doc/asir2000/html-eg/man_1.html +OpenXM/doc/asir2000/html-eg/man_2.html +OpenXM/doc/asir2000/html-eg/man_3.html +OpenXM/doc/asir2000/html-eg/man_4.html +OpenXM/doc/asir2000/html-eg/man_5.html +OpenXM/doc/asir2000/html-eg/man_6.html +OpenXM/doc/asir2000/html-eg/man_7.html +OpenXM/doc/asir2000/html-eg/man_8.html +OpenXM/doc/asir2000/html-eg/man_9.html +OpenXM/doc/asir2000/html-eg/man_10.html +OpenXM/doc/asir2000/html-eg/man_11.html +OpenXM/doc/asir2000/html-eg/man_12.html +OpenXM/doc/asir2000/html-eg/man_13.html +OpenXM/doc/asir2000/html-eg/man_14.html +OpenXM/doc/asir2000/html-eg/man_15.html +OpenXM/doc/asir2000/html-eg/man_16.html +OpenXM/doc/asir2000/html-eg/man_17.html +OpenXM/doc/asir2000/html-eg/man_18.html +OpenXM/doc/asir2000/html-eg/man_19.html +OpenXM/doc/asir2000/html-eg/man_20.html +OpenXM/doc/asir2000/html-eg/man_21.html +OpenXM/doc/asir2000/html-eg/man_22.html +OpenXM/doc/asir2000/html-eg/man_23.html +OpenXM/doc/asir2000/html-eg/man_24.html +OpenXM/doc/asir2000/html-eg/man_25.html +OpenXM/doc/asir2000/html-eg/man_26.html +OpenXM/doc/asir2000/html-eg/man_27.html +OpenXM/doc/asir2000/html-eg/man_28.html +OpenXM/doc/asir2000/html-eg/man_29.html +OpenXM/doc/asir2000/html-eg/man_30.html +OpenXM/doc/asir2000/html-eg/man_31.html +OpenXM/doc/asir2000/html-eg/man_32.html +OpenXM/doc/asir2000/html-eg/man_33.html +OpenXM/doc/asir2000/html-eg/man_34.html +OpenXM/doc/asir2000/html-eg/man_35.html +OpenXM/doc/asir2000/html-eg/man_36.html +OpenXM/doc/asir2000/html-eg/man_37.html +OpenXM/doc/asir2000/html-eg/man_38.html +OpenXM/doc/asir2000/html-eg/man_39.html +OpenXM/doc/asir2000/html-eg/man_40.html +OpenXM/doc/asir2000/html-eg/man_41.html +OpenXM/doc/asir2000/html-eg/man_42.html +OpenXM/doc/asir2000/html-eg/man_43.html +OpenXM/doc/asir2000/html-eg/man_44.html +OpenXM/doc/asir2000/html-eg/man_45.html +OpenXM/doc/asir2000/html-eg/man_46.html +OpenXM/doc/asir2000/html-eg/man_47.html +OpenXM/doc/asir2000/html-eg/man_48.html +OpenXM/doc/asir2000/html-eg/man_49.html +OpenXM/doc/asir2000/html-eg/man_50.html +OpenXM/doc/asir2000/html-eg/man_51.html +OpenXM/doc/asir2000/html-eg/man_52.html +OpenXM/doc/asir2000/html-eg/man_53.html +OpenXM/doc/asir2000/html-eg/man_54.html +OpenXM/doc/asir2000/html-eg/man_55.html +OpenXM/doc/asir2000/html-eg/man_56.html +OpenXM/doc/asir2000/html-eg/man_57.html +OpenXM/doc/asir2000/html-eg/man_58.html +OpenXM/doc/asir2000/html-eg/man_59.html +OpenXM/doc/asir2000/html-eg/man_60.html +OpenXM/doc/asir2000/html-eg/man_61.html +OpenXM/doc/asir2000/html-eg/man_62.html +OpenXM/doc/asir2000/html-eg/man_63.html +OpenXM/doc/asir2000/html-eg/man_64.html +OpenXM/doc/asir2000/html-eg/man_65.html +OpenXM/doc/asir2000/html-eg/man_66.html +OpenXM/doc/asir2000/html-eg/man_67.html +OpenXM/doc/asir2000/html-eg/man_68.html +OpenXM/doc/asir2000/html-eg/man_69.html +OpenXM/doc/asir2000/html-eg/man_70.html +OpenXM/doc/asir2000/html-eg/man_71.html +OpenXM/doc/asir2000/html-eg/man_72.html +OpenXM/doc/asir2000/html-eg/man_73.html +OpenXM/doc/asir2000/html-eg/man_74.html +OpenXM/doc/asir2000/html-eg/man_75.html +OpenXM/doc/asir2000/html-eg/man_76.html +OpenXM/doc/asir2000/html-eg/man_77.html +OpenXM/doc/asir2000/html-eg/man_78.html +OpenXM/doc/asir2000/html-eg/man_79.html +OpenXM/doc/asir2000/html-eg/man_80.html +OpenXM/doc/asir2000/html-eg/man_81.html +OpenXM/doc/asir2000/html-eg/man_82.html +OpenXM/doc/asir2000/html-eg/man_83.html +OpenXM/doc/asir2000/html-eg/man_84.html +OpenXM/doc/asir2000/html-eg/man_85.html +OpenXM/doc/asir2000/html-eg/man_86.html +OpenXM/doc/asir2000/html-eg/man_87.html +OpenXM/doc/asir2000/html-eg/man_88.html +OpenXM/doc/asir2000/html-eg/man_89.html +OpenXM/doc/asir2000/html-eg/man_90.html +OpenXM/doc/asir2000/html-eg/man_91.html +OpenXM/doc/asir2000/html-eg/man_92.html +OpenXM/doc/asir2000/html-eg/man_93.html +OpenXM/doc/asir2000/html-eg/man_94.html +OpenXM/doc/asir2000/html-eg/man_95.html +OpenXM/doc/asir2000/html-eg/man_96.html +OpenXM/doc/asir2000/html-eg/man_97.html +OpenXM/doc/asir2000/html-eg/man_98.html +OpenXM/doc/asir2000/html-eg/man_99.html +OpenXM/doc/asir2000/html-eg/man_100.html +OpenXM/doc/asir2000/html-eg/man_101.html +OpenXM/doc/asir2000/html-eg/man_102.html +OpenXM/doc/asir2000/html-eg/man_103.html +OpenXM/doc/asir2000/html-eg/man_104.html +OpenXM/doc/asir2000/html-eg/man_105.html +OpenXM/doc/asir2000/html-eg/man_106.html +OpenXM/doc/asir2000/html-eg/man_107.html +OpenXM/doc/asir2000/html-eg/man_108.html +OpenXM/doc/asir2000/html-eg/man_109.html +OpenXM/doc/asir2000/html-eg/man_110.html +OpenXM/doc/asir2000/html-eg/man_111.html +OpenXM/doc/asir2000/html-eg/man_112.html +OpenXM/doc/asir2000/html-eg/man_113.html +OpenXM/doc/asir2000/html-eg/man_114.html +OpenXM/doc/asir2000/html-eg/man_115.html +OpenXM/doc/asir2000/html-eg/man_116.html +OpenXM/doc/asir2000/html-eg/man_117.html +OpenXM/doc/asir2000/html-eg/man_118.html +OpenXM/doc/asir2000/html-eg/man_119.html +OpenXM/doc/asir2000/html-eg/man_120.html +OpenXM/doc/asir2000/html-eg/man_121.html +OpenXM/doc/asir2000/html-eg/man_122.html +OpenXM/doc/asir2000/html-eg/man_123.html +OpenXM/doc/asir2000/html-eg/man_124.html +OpenXM/doc/asir2000/html-eg/man_125.html +OpenXM/doc/asir2000/html-eg/man_126.html +OpenXM/doc/asir2000/html-eg/man_127.html +OpenXM/doc/asir2000/html-eg/man_128.html +OpenXM/doc/asir2000/html-eg/man_129.html +OpenXM/doc/asir2000/html-eg/man_130.html +OpenXM/doc/asir2000/html-eg/man_131.html +OpenXM/doc/asir2000/html-eg/man_132.html +OpenXM/doc/asir2000/html-eg/man_133.html +OpenXM/doc/asir2000/html-eg/man_134.html +OpenXM/doc/asir2000/html-eg/man_135.html +OpenXM/doc/asir2000/html-eg/man_136.html +OpenXM/doc/asir2000/html-eg/man_137.html +OpenXM/doc/asir2000/html-eg/man_138.html +OpenXM/doc/asir2000/html-eg/man_139.html +OpenXM/doc/asir2000/html-eg/man_140.html +OpenXM/doc/asir2000/html-eg/man_141.html +OpenXM/doc/asir2000/html-eg/man_142.html +OpenXM/doc/asir2000/html-eg/man_143.html +OpenXM/doc/asir2000/html-eg/man_144.html +OpenXM/doc/asir2000/html-eg/man_145.html +OpenXM/doc/asir2000/html-eg/man_146.html +OpenXM/doc/asir2000/html-eg/man_147.html +OpenXM/doc/asir2000/html-eg/man_148.html +OpenXM/doc/asir2000/html-eg/man_149.html +OpenXM/doc/asir2000/html-eg/man_150.html +OpenXM/doc/asir2000/html-eg/man_151.html +OpenXM/doc/asir2000/html-eg/man_152.html +OpenXM/doc/asir2000/html-eg/man_153.html +OpenXM/doc/asir2000/html-eg/man_154.html +OpenXM/doc/asir2000/html-eg/man_155.html +OpenXM/doc/asir2000/html-eg/man_156.html +OpenXM/doc/asir2000/html-eg/man_157.html +OpenXM/doc/asir2000/html-eg/man_158.html +OpenXM/doc/asir2000/html-eg/man_159.html +OpenXM/doc/asir2000/html-eg/man_160.html +OpenXM/doc/asir2000/html-eg/man_161.html +OpenXM/doc/asir2000/html-eg/man_162.html +OpenXM/doc/asir2000/html-eg/man_163.html +OpenXM/doc/asir2000/html-eg/man_164.html +OpenXM/doc/asir2000/html-eg/man_165.html +OpenXM/doc/asir2000/html-eg/man_166.html +OpenXM/doc/asir2000/html-eg/man_167.html +OpenXM/doc/asir2000/html-eg/man_168.html +OpenXM/doc/asir2000/html-eg/man_169.html +OpenXM/doc/asir2000/html-eg/man_170.html +OpenXM/doc/asir2000/html-eg/man_171.html +OpenXM/doc/asir2000/html-eg/man_172.html +OpenXM/doc/asir2000/html-eg/man_173.html +OpenXM/doc/asir2000/html-eg/man_174.html +OpenXM/doc/asir2000/html-eg/man_175.html +OpenXM/doc/asir2000/html-eg/man_176.html +OpenXM/doc/asir2000/html-eg/man_177.html +OpenXM/doc/asir2000/html-eg/man_178.html +OpenXM/doc/asir2000/html-eg/man_179.html +OpenXM/doc/asir2000/html-eg/man_180.html +OpenXM/doc/asir2000/html-eg/man_181.html +OpenXM/doc/asir2000/html-eg/man_182.html +OpenXM/doc/asir2000/html-eg/man_183.html +OpenXM/doc/asir2000/html-eg/man_184.html +OpenXM/doc/asir2000/html-eg/man_185.html +OpenXM/doc/asir2000/html-eg/man_186.html +OpenXM/doc/asir2000/html-eg/man_187.html +OpenXM/doc/asir2000/html-eg/man_188.html +OpenXM/doc/asir2000/html-eg/man_189.html +OpenXM/doc/asir2000/html-eg/man_190.html +OpenXM/doc/asir2000/html-eg/man_191.html +OpenXM/doc/asir2000/html-eg/man_192.html +OpenXM/doc/asir2000/html-eg/man_193.html +OpenXM/doc/asir2000/html-eg/man_194.html +OpenXM/doc/asir2000/html-eg/man_195.html +OpenXM/doc/asir2000/html-eg/man_196.html +OpenXM/doc/asir2000/html-eg/man_197.html +OpenXM/doc/asir2000/html-eg/man_198.html +OpenXM/doc/asir2000/html-eg/man_199.html +OpenXM/doc/asir2000/html-eg/man_200.html +OpenXM/doc/asir2000/html-eg/man_201.html +OpenXM/doc/asir2000/html-eg/man_202.html +OpenXM/doc/asir2000/html-eg/man_203.html +OpenXM/doc/asir2000/html-eg/man_204.html +OpenXM/doc/asir2000/html-eg/man_205.html +OpenXM/doc/asir2000/html-eg/man_206.html +OpenXM/doc/asir2000/html-eg/man_207.html +OpenXM/doc/asir2000/html-eg/man_208.html +OpenXM/doc/asir2000/html-eg/man_209.html +OpenXM/doc/asir2000/html-eg/man_210.html +OpenXM/doc/asir2000/html-eg/man_211.html +OpenXM/doc/asir2000/html-eg/man_212.html +OpenXM/doc/asir2000/html-eg/man_213.html +OpenXM/doc/asir2000/html-eg/man_214.html +OpenXM/doc/asir2000/html-eg/man_215.html +OpenXM/doc/asir2000/html-eg/man_216.html +OpenXM/doc/asir2000/html-eg/man_217.html +OpenXM/doc/asir2000/html-eg/man_218.html +OpenXM/doc/asir2000/html-eg/man_219.html +OpenXM/doc/asir2000/html-eg/man_220.html +OpenXM/doc/asir2000/html-eg/man_221.html +OpenXM/doc/asir2000/html-eg/man_222.html +OpenXM/doc/asir2000/html-eg/man_223.html +OpenXM/doc/asir2000/html-eg/man_224.html +OpenXM/doc/asir2000/html-eg/man_225.html +OpenXM/doc/asir2000/html-eg/man_226.html +OpenXM/doc/asir2000/html-eg/man_227.html +OpenXM/doc/asir2000/html-eg/man_228.html +OpenXM/doc/asir2000/html-eg/man_229.html +OpenXM/doc/asir2000/html-eg/man_230.html +OpenXM/doc/asir2000/html-eg/man_231.html +OpenXM/doc/asir2000/html-eg/man_232.html +OpenXM/doc/asir2000/html-eg/man_233.html +OpenXM/doc/asir2000/html-eg/man_234.html +OpenXM/doc/asir2000/html-eg/man_235.html +OpenXM/doc/asir2000/html-eg/man_236.html +OpenXM/doc/asir2000/html-eg/man_237.html +OpenXM/doc/asir2000/html-eg/man_238.html +OpenXM/doc/asir2000/html-eg/man_239.html +OpenXM/doc/asir2000/html-eg/man_240.html +OpenXM/doc/asir2000/html-eg/man_241.html +OpenXM/doc/asir2000/html-eg/man_242.html +OpenXM/doc/asir2000/html-eg/man_243.html +OpenXM/doc/asir2000/html-eg/man_244.html +OpenXM/doc/asir2000/html-eg/man_245.html +OpenXM/doc/asir2000/html-eg/man_246.html +OpenXM/doc/asir2000/html-eg/man_247.html +OpenXM/doc/asir2000/html-eg/man_248.html +OpenXM/doc/asir2000/html-eg/man_249.html +OpenXM/doc/asir2000/html-eg/man_250.html +OpenXM/doc/asir2000/html-eg/man_251.html +OpenXM/doc/asir2000/html-eg/man_252.html +OpenXM/doc/asir2000/html-eg/man_253.html +OpenXM/doc/asir2000/html-eg/man_254.html OpenXM/doc/asir2000/man-eg.dvi +OpenXM/doc/asir2000/html-jp/man_toc.html +OpenXM/doc/asir2000/html-jp/man_1.html +OpenXM/doc/asir2000/html-jp/man_2.html +OpenXM/doc/asir2000/html-jp/man_3.html +OpenXM/doc/asir2000/html-jp/man_4.html +OpenXM/doc/asir2000/html-jp/man_5.html +OpenXM/doc/asir2000/html-jp/man_6.html +OpenXM/doc/asir2000/html-jp/man_7.html +OpenXM/doc/asir2000/html-jp/man_8.html +OpenXM/doc/asir2000/html-jp/man_9.html +OpenXM/doc/asir2000/html-jp/man_10.html +OpenXM/doc/asir2000/html-jp/man_11.html +OpenXM/doc/asir2000/html-jp/man_12.html +OpenXM/doc/asir2000/html-jp/man_13.html +OpenXM/doc/asir2000/html-jp/man_14.html +OpenXM/doc/asir2000/html-jp/man_15.html +OpenXM/doc/asir2000/html-jp/man_16.html +OpenXM/doc/asir2000/html-jp/man_17.html +OpenXM/doc/asir2000/html-jp/man_18.html +OpenXM/doc/asir2000/html-jp/man_19.html +OpenXM/doc/asir2000/html-jp/man_20.html +OpenXM/doc/asir2000/html-jp/man_21.html +OpenXM/doc/asir2000/html-jp/man_22.html +OpenXM/doc/asir2000/html-jp/man_23.html +OpenXM/doc/asir2000/html-jp/man_24.html +OpenXM/doc/asir2000/html-jp/man_25.html +OpenXM/doc/asir2000/html-jp/man_26.html +OpenXM/doc/asir2000/html-jp/man_27.html +OpenXM/doc/asir2000/html-jp/man_28.html +OpenXM/doc/asir2000/html-jp/man_29.html +OpenXM/doc/asir2000/html-jp/man_30.html +OpenXM/doc/asir2000/html-jp/man_31.html +OpenXM/doc/asir2000/html-jp/man_32.html +OpenXM/doc/asir2000/html-jp/man_33.html +OpenXM/doc/asir2000/html-jp/man_34.html +OpenXM/doc/asir2000/html-jp/man_35.html +OpenXM/doc/asir2000/html-jp/man_36.html +OpenXM/doc/asir2000/html-jp/man_37.html +OpenXM/doc/asir2000/html-jp/man_38.html +OpenXM/doc/asir2000/html-jp/man_39.html +OpenXM/doc/asir2000/html-jp/man_40.html +OpenXM/doc/asir2000/html-jp/man_41.html +OpenXM/doc/asir2000/html-jp/man_42.html +OpenXM/doc/asir2000/html-jp/man_43.html +OpenXM/doc/asir2000/html-jp/man_44.html +OpenXM/doc/asir2000/html-jp/man_45.html +OpenXM/doc/asir2000/html-jp/man_46.html +OpenXM/doc/asir2000/html-jp/man_47.html +OpenXM/doc/asir2000/html-jp/man_48.html +OpenXM/doc/asir2000/html-jp/man_49.html +OpenXM/doc/asir2000/html-jp/man_50.html +OpenXM/doc/asir2000/html-jp/man_51.html +OpenXM/doc/asir2000/html-jp/man_52.html +OpenXM/doc/asir2000/html-jp/man_53.html +OpenXM/doc/asir2000/html-jp/man_54.html +OpenXM/doc/asir2000/html-jp/man_55.html +OpenXM/doc/asir2000/html-jp/man_56.html +OpenXM/doc/asir2000/html-jp/man_57.html +OpenXM/doc/asir2000/html-jp/man_58.html +OpenXM/doc/asir2000/html-jp/man_59.html +OpenXM/doc/asir2000/html-jp/man_60.html +OpenXM/doc/asir2000/html-jp/man_61.html +OpenXM/doc/asir2000/html-jp/man_62.html +OpenXM/doc/asir2000/html-jp/man_63.html +OpenXM/doc/asir2000/html-jp/man_64.html +OpenXM/doc/asir2000/html-jp/man_65.html +OpenXM/doc/asir2000/html-jp/man_66.html +OpenXM/doc/asir2000/html-jp/man_67.html +OpenXM/doc/asir2000/html-jp/man_68.html +OpenXM/doc/asir2000/html-jp/man_69.html +OpenXM/doc/asir2000/html-jp/man_70.html +OpenXM/doc/asir2000/html-jp/man_71.html +OpenXM/doc/asir2000/html-jp/man_72.html +OpenXM/doc/asir2000/html-jp/man_73.html +OpenXM/doc/asir2000/html-jp/man_74.html +OpenXM/doc/asir2000/html-jp/man_75.html +OpenXM/doc/asir2000/html-jp/man_76.html +OpenXM/doc/asir2000/html-jp/man_77.html +OpenXM/doc/asir2000/html-jp/man_78.html +OpenXM/doc/asir2000/html-jp/man_79.html +OpenXM/doc/asir2000/html-jp/man_80.html +OpenXM/doc/asir2000/html-jp/man_81.html +OpenXM/doc/asir2000/html-jp/man_82.html +OpenXM/doc/asir2000/html-jp/man_83.html +OpenXM/doc/asir2000/html-jp/man_84.html +OpenXM/doc/asir2000/html-jp/man_85.html +OpenXM/doc/asir2000/html-jp/man_86.html +OpenXM/doc/asir2000/html-jp/man_87.html +OpenXM/doc/asir2000/html-jp/man_88.html +OpenXM/doc/asir2000/html-jp/man_89.html +OpenXM/doc/asir2000/html-jp/man_90.html +OpenXM/doc/asir2000/html-jp/man_91.html +OpenXM/doc/asir2000/html-jp/man_92.html +OpenXM/doc/asir2000/html-jp/man_93.html +OpenXM/doc/asir2000/html-jp/man_94.html +OpenXM/doc/asir2000/html-jp/man_95.html +OpenXM/doc/asir2000/html-jp/man_96.html +OpenXM/doc/asir2000/html-jp/man_97.html +OpenXM/doc/asir2000/html-jp/man_98.html +OpenXM/doc/asir2000/html-jp/man_99.html +OpenXM/doc/asir2000/html-jp/man_100.html +OpenXM/doc/asir2000/html-jp/man_101.html +OpenXM/doc/asir2000/html-jp/man_102.html +OpenXM/doc/asir2000/html-jp/man_103.html +OpenXM/doc/asir2000/html-jp/man_104.html +OpenXM/doc/asir2000/html-jp/man_105.html +OpenXM/doc/asir2000/html-jp/man_106.html +OpenXM/doc/asir2000/html-jp/man_107.html +OpenXM/doc/asir2000/html-jp/man_108.html +OpenXM/doc/asir2000/html-jp/man_109.html +OpenXM/doc/asir2000/html-jp/man_110.html +OpenXM/doc/asir2000/html-jp/man_111.html +OpenXM/doc/asir2000/html-jp/man_112.html +OpenXM/doc/asir2000/html-jp/man_113.html +OpenXM/doc/asir2000/html-jp/man_114.html +OpenXM/doc/asir2000/html-jp/man_115.html +OpenXM/doc/asir2000/html-jp/man_116.html +OpenXM/doc/asir2000/html-jp/man_117.html +OpenXM/doc/asir2000/html-jp/man_118.html +OpenXM/doc/asir2000/html-jp/man_119.html +OpenXM/doc/asir2000/html-jp/man_120.html +OpenXM/doc/asir2000/html-jp/man_121.html +OpenXM/doc/asir2000/html-jp/man_122.html +OpenXM/doc/asir2000/html-jp/man_123.html +OpenXM/doc/asir2000/html-jp/man_124.html +OpenXM/doc/asir2000/html-jp/man_125.html +OpenXM/doc/asir2000/html-jp/man_126.html +OpenXM/doc/asir2000/html-jp/man_127.html +OpenXM/doc/asir2000/html-jp/man_128.html +OpenXM/doc/asir2000/html-jp/man_129.html +OpenXM/doc/asir2000/html-jp/man_130.html +OpenXM/doc/asir2000/html-jp/man_131.html +OpenXM/doc/asir2000/html-jp/man_132.html +OpenXM/doc/asir2000/html-jp/man_133.html +OpenXM/doc/asir2000/html-jp/man_134.html +OpenXM/doc/asir2000/html-jp/man_135.html +OpenXM/doc/asir2000/html-jp/man_136.html +OpenXM/doc/asir2000/html-jp/man_137.html +OpenXM/doc/asir2000/html-jp/man_138.html +OpenXM/doc/asir2000/html-jp/man_139.html +OpenXM/doc/asir2000/html-jp/man_140.html +OpenXM/doc/asir2000/html-jp/man_141.html +OpenXM/doc/asir2000/html-jp/man_142.html +OpenXM/doc/asir2000/html-jp/man_143.html +OpenXM/doc/asir2000/html-jp/man_144.html +OpenXM/doc/asir2000/html-jp/man_145.html +OpenXM/doc/asir2000/html-jp/man_146.html +OpenXM/doc/asir2000/html-jp/man_147.html +OpenXM/doc/asir2000/html-jp/man_148.html +OpenXM/doc/asir2000/html-jp/man_149.html +OpenXM/doc/asir2000/html-jp/man_150.html +OpenXM/doc/asir2000/html-jp/man_151.html +OpenXM/doc/asir2000/html-jp/man_152.html +OpenXM/doc/asir2000/html-jp/man_153.html +OpenXM/doc/asir2000/html-jp/man_154.html +OpenXM/doc/asir2000/html-jp/man_155.html +OpenXM/doc/asir2000/html-jp/man_156.html +OpenXM/doc/asir2000/html-jp/man_157.html +OpenXM/doc/asir2000/html-jp/man_158.html +OpenXM/doc/asir2000/html-jp/man_159.html +OpenXM/doc/asir2000/html-jp/man_160.html +OpenXM/doc/asir2000/html-jp/man_161.html +OpenXM/doc/asir2000/html-jp/man_162.html +OpenXM/doc/asir2000/html-jp/man_163.html +OpenXM/doc/asir2000/html-jp/man_164.html +OpenXM/doc/asir2000/html-jp/man_165.html +OpenXM/doc/asir2000/html-jp/man_166.html +OpenXM/doc/asir2000/html-jp/man_167.html +OpenXM/doc/asir2000/html-jp/man_168.html +OpenXM/doc/asir2000/html-jp/man_169.html +OpenXM/doc/asir2000/html-jp/man_170.html +OpenXM/doc/asir2000/html-jp/man_171.html +OpenXM/doc/asir2000/html-jp/man_172.html +OpenXM/doc/asir2000/html-jp/man_173.html +OpenXM/doc/asir2000/html-jp/man_174.html +OpenXM/doc/asir2000/html-jp/man_175.html +OpenXM/doc/asir2000/html-jp/man_176.html +OpenXM/doc/asir2000/html-jp/man_177.html +OpenXM/doc/asir2000/html-jp/man_178.html +OpenXM/doc/asir2000/html-jp/man_179.html +OpenXM/doc/asir2000/html-jp/man_180.html +OpenXM/doc/asir2000/html-jp/man_181.html +OpenXM/doc/asir2000/html-jp/man_182.html +OpenXM/doc/asir2000/html-jp/man_183.html +OpenXM/doc/asir2000/html-jp/man_184.html +OpenXM/doc/asir2000/html-jp/man_185.html +OpenXM/doc/asir2000/html-jp/man_186.html +OpenXM/doc/asir2000/html-jp/man_187.html +OpenXM/doc/asir2000/html-jp/man_188.html +OpenXM/doc/asir2000/html-jp/man_189.html +OpenXM/doc/asir2000/html-jp/man_190.html +OpenXM/doc/asir2000/html-jp/man_191.html +OpenXM/doc/asir2000/html-jp/man_192.html +OpenXM/doc/asir2000/html-jp/man_193.html +OpenXM/doc/asir2000/html-jp/man_194.html +OpenXM/doc/asir2000/html-jp/man_195.html +OpenXM/doc/asir2000/html-jp/man_196.html +OpenXM/doc/asir2000/html-jp/man_197.html +OpenXM/doc/asir2000/html-jp/man_198.html +OpenXM/doc/asir2000/html-jp/man_199.html +OpenXM/doc/asir2000/html-jp/man_200.html +OpenXM/doc/asir2000/html-jp/man_201.html +OpenXM/doc/asir2000/html-jp/man_202.html +OpenXM/doc/asir2000/html-jp/man_203.html +OpenXM/doc/asir2000/html-jp/man_204.html +OpenXM/doc/asir2000/html-jp/man_205.html +OpenXM/doc/asir2000/html-jp/man_206.html +OpenXM/doc/asir2000/html-jp/man_207.html +OpenXM/doc/asir2000/html-jp/man_208.html +OpenXM/doc/asir2000/html-jp/man_209.html +OpenXM/doc/asir2000/html-jp/man_210.html +OpenXM/doc/asir2000/html-jp/man_211.html +OpenXM/doc/asir2000/html-jp/man_212.html +OpenXM/doc/asir2000/html-jp/man_213.html +OpenXM/doc/asir2000/html-jp/man_214.html +OpenXM/doc/asir2000/html-jp/man_215.html +OpenXM/doc/asir2000/html-jp/man_216.html +OpenXM/doc/asir2000/html-jp/man_217.html +OpenXM/doc/asir2000/html-jp/man_218.html +OpenXM/doc/asir2000/html-jp/man_219.html +OpenXM/doc/asir2000/html-jp/man_220.html +OpenXM/doc/asir2000/html-jp/man_221.html +OpenXM/doc/asir2000/html-jp/man_222.html +OpenXM/doc/asir2000/html-jp/man_223.html +OpenXM/doc/asir2000/html-jp/man_224.html +OpenXM/doc/asir2000/html-jp/man_225.html +OpenXM/doc/asir2000/html-jp/man_226.html +OpenXM/doc/asir2000/html-jp/man_227.html +OpenXM/doc/asir2000/html-jp/man_228.html +OpenXM/doc/asir2000/html-jp/man_229.html +OpenXM/doc/asir2000/html-jp/man_230.html +OpenXM/doc/asir2000/html-jp/man_231.html +OpenXM/doc/asir2000/html-jp/man_232.html +OpenXM/doc/asir2000/html-jp/man_233.html +OpenXM/doc/asir2000/html-jp/man_234.html +OpenXM/doc/asir2000/html-jp/man_235.html +OpenXM/doc/asir2000/html-jp/man_236.html +OpenXM/doc/asir2000/html-jp/man_237.html +OpenXM/doc/asir2000/html-jp/man_238.html +OpenXM/doc/asir2000/html-jp/man_239.html +OpenXM/doc/asir2000/html-jp/man_240.html +OpenXM/doc/asir2000/html-jp/man_241.html +OpenXM/doc/asir2000/html-jp/man_242.html +OpenXM/doc/asir2000/html-jp/man_243.html +OpenXM/doc/asir2000/html-jp/man_244.html +OpenXM/doc/asir2000/html-jp/man_245.html +OpenXM/doc/asir2000/html-jp/man_246.html +OpenXM/doc/asir2000/html-jp/man_247.html +OpenXM/doc/asir2000/html-jp/man_248.html +OpenXM/doc/asir2000/html-jp/man_249.html +OpenXM/doc/asir2000/html-jp/man_250.html +OpenXM/doc/asir2000/html-jp/man_251.html +OpenXM/doc/asir2000/html-jp/man_252.html +OpenXM/doc/asir2000/html-jp/man_253.html +OpenXM/doc/asir2000/html-jp/man_254.html OpenXM/doc/asir2000/man-jp.dvi -OpenXM/doc/oxlib/test2.c -OpenXM/doc/oxlib/test1.c -OpenXM/doc/oxlib/Makefile -OpenXM/doc/oxlib/oxasir.h -OpenXM/doc/pari/users.dvi +OpenXM/doc/asir-contrib/cman-jp.dvi +OpenXM/doc/asir-contrib/cman-jp.ps +OpenXM/doc/asir-contrib/cman-eg.dvi +OpenXM/doc/asir-contrib/cman-eg.ps OpenXM/include/pari/paricfg.h OpenXM/include/pari/pariinl.h OpenXM/include/pari/pari.h @@ -708,13 +1196,13 @@ OpenXM/include/pari/pariport.h OpenXM/include/pari/paridecl.h OpenXM/man/man1/gphelp.1 OpenXM/man/man1/gp.1 +OpenXM/rc/Makefile OpenXM/rc/asirrc OpenXM/rc/bashrc OpenXM/rc/cshrc -OpenXM/rc/repl -OpenXM/rc/Makefile -OpenXM/rc/repl.c OpenXM/rc/gen-shell-scripts +OpenXM/rc/repl.c +OpenXM/rc/repl @exec ln -fs fep.fbsd %D/OpenXM/bin/fep @exec ln -fs lin_phcv2p %D/OpenXM/bin/phc @exec ln -fs ./ox_asir %D/OpenXM/bin/asir @@ -771,8 +1259,12 @@ OpenXM/rc/gen-shell-scripts @exec ln -fs functor %D/OpenXM/lib/asir/help-eg/args @exec ln -fs functor %D/OpenXM/lib/asir/help-eg/funargs @exec ln -fs strtoascii %D/OpenXM/lib/asir/help-eg/asciitostr +@exec ln -fs str_len %D/OpenXM/lib/asir/help-eg/str_chr +@exec ln -fs str_len %D/OpenXM/lib/asir/help-eg/sub_str @exec ln -fs end %D/OpenXM/lib/asir/help-eg/quit @exec ln -fs bsave %D/OpenXM/lib/asir/help-eg/bload +@exec ln -fs open_file %D/OpenXM/lib/asir/help-eg/close_file +@exec ln -fs open_file %D/OpenXM/lib/asir/help-eg/get_line @exec ln -fs cputime %D/OpenXM/lib/asir/help-eg/tstart @exec ln -fs cputime %D/OpenXM/lib/asir/help-eg/tstop @exec ln -fs ox_launch %D/OpenXM/lib/asir/help-eg/ox_launch_nox @@ -872,8 +1364,12 @@ OpenXM/rc/gen-shell-scripts @exec ln -fs functor %D/OpenXM/lib/asir/help-jp/args @exec ln -fs functor %D/OpenXM/lib/asir/help-jp/funargs @exec ln -fs strtoascii %D/OpenXM/lib/asir/help-jp/asciitostr +@exec ln -fs str_len %D/OpenXM/lib/asir/help-jp/str_chr +@exec ln -fs str_len %D/OpenXM/lib/asir/help-jp/sub_str @exec ln -fs end %D/OpenXM/lib/asir/help-jp/quit @exec ln -fs bsave %D/OpenXM/lib/asir/help-jp/bload +@exec ln -fs open_file %D/OpenXM/lib/asir/help-jp/close_file +@exec ln -fs open_file %D/OpenXM/lib/asir/help-jp/get_line @exec ln -fs cputime %D/OpenXM/lib/asir/help-jp/tstart @exec ln -fs cputime %D/OpenXM/lib/asir/help-jp/tstop @exec ln -fs ox_launch %D/OpenXM/lib/asir/help-jp/ox_launch_nox @@ -887,8 +1383,8 @@ OpenXM/rc/gen-shell-scripts @exec ln -fs ox_reset %D/OpenXM/lib/asir/help-jp/ox_intr @exec ln -fs ox_reset %D/OpenXM/lib/asir/help-jp/register_handler @exec ln -fs ox_push_cmo %D/OpenXM/lib/asir/help-jp/ox_push_local -@exec ln -fs ox_push_cmd %D/OpenXM/lib/asir/help-jp/ox_sync @exec ln -fs ox_pop_cmo %D/OpenXM/lib/asir/help-jp/ox_pop_local +@exec ln -fs ox_push_cmd %D/OpenXM/lib/asir/help-jp/ox_sync @exec ln -fs ifplot %D/OpenXM/lib/asir/help-jp/conplot @exec ln -fs ifplot %D/OpenXM/lib/asir/help-jp/plot @exec ln -fs ifplot %D/OpenXM/lib/asir/help-jp/plotover