=================================================================== RCS file: /home/cvs/OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST,v retrieving revision 1.1 retrieving revision 1.13 diff -u -p -r1.1 -r1.13 --- 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/17 13:52:13 1.13 @@ -1,23 +1,33 @@ -OpenXM/bin/openxm +@exec echo " $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST,v 1.12 2000/03/16 11:33:08 takayama Exp $ --- " +bin/asir +bin/sm1 +bin/oxMathematica +bin/oxmath +bin/ox +bin/oxgp +bin/openxm +man/man1/sm1.1.gz +man/man1/openxm.1.gz OpenXM/bin/Makefile OpenXM/bin/fep.fbsd OpenXM/bin/lin_phcv2p +OpenXM/bin/.configure_done OpenXM/bin/gp-2.0 OpenXM/bin/gphelp +OpenXM/bin/oxweave +OpenXM/bin/oxlog +OpenXM/bin/ox_sm1 +OpenXM/bin/ox +OpenXM/bin/rc.repl +OpenXM/bin/asir OpenXM/bin/gnuplot4ox OpenXM/bin/gnuplot_x11 OpenXM/bin/d0 OpenXM/bin/k0 OpenXM/bin/sm1 -OpenXM/bin/oxweave -OpenXM/bin/oxlog -OpenXM/bin/ox_sm1 -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 OpenXM/lib/asir/sturm @@ -39,6 +49,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 +110,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 +118,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 +139,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 +150,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 +166,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 +179,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 +302,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 +310,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 +344,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 +374,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 @@ -383,7 +398,6 @@ OpenXM/lib/asir/help-jp/defpoly_mod2 OpenXM/lib/asir/help-jp/fctr_ff OpenXM/lib/asir/help-jp/irredcheck_ff OpenXM/lib/asir/help-jp/randpoly_ff -OpenXM/lib/asir/help-jp/ecm_add_ff OpenXM/lib/asir/help-jp/xm.help/dsolv_dual OpenXM/lib/asir/help-jp/xm.help/sm1_xml_tree_to_prefix_string OpenXM/lib/asir/help-jp/xm.help/sm1_wTensor0 @@ -420,86 +434,7 @@ 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/asir/help-jp/ecm_add_ff OpenXM/lib/k097/var.sm1 OpenXM/lib/k097/debug/a24.k OpenXM/lib/k097/debug/ahg.k @@ -530,8 +465,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 +476,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 +514,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 +533,93 @@ 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/libgc.a +OpenXM/lib/libgmp.a +OpenXM/lib/libox.a +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_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_TREE.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_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/OpenXMconnection.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/OXmessage.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/longname +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/dsolv +OpenXM/lib/libasir.a 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 +638,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,30 +657,549 @@ 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/README +OpenXM/doc/oxlib/test1.c +OpenXM/doc/oxlib/test2.c +OpenXM/doc/oxlib/test3.c +OpenXM/doc/pari/users.dvi +OpenXM/doc/pari/tutorial.dvi +OpenXM/doc/ox_toolkit/bnf-jp +OpenXM/doc/ox_toolkit/bnf-eg +OpenXM/doc/ox_toolkit/readme-jp +OpenXM/doc/ox_toolkit/readme-eg 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/ox_math.tex OpenXM/doc/ox_math/readme-jp +OpenXM/doc/ox_math/ox_math.dvi OpenXM/doc/ox_math/samplelog-sm1.txt -OpenXM/doc/ox_math/ox_math.tex +OpenXM/doc/ox_math/readme-eg OpenXM/doc/ox_math/math2ox.dvi -OpenXM/doc/ox_math/math2ox.tex +OpenXM/doc/ox_math/math2ox.texi +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/html-eg/man_255.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/html-jp/man_255.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 @@ -706,24 +1212,55 @@ OpenXM/include/pari/paristio.h OpenXM/include/pari/parisys.h OpenXM/include/pari/pariport.h OpenXM/include/pari/paridecl.h +OpenXM/include/gmp.h +OpenXM/include/ox_toolkit_tags.h +OpenXM/include/ox_toolkit.h +OpenXM/include/asir/al.h +OpenXM/include/asir/version.h +OpenXM/include/asir/prime.h +OpenXM/include/asir/ox.h +OpenXM/include/asir/inline.h +OpenXM/include/asir/com.h +OpenXM/include/asir/ca.h +OpenXM/include/asir/ca-27.h +OpenXM/include/asir/bf.h +OpenXM/include/asir/base.h +OpenXM/include/asir/b.h +OpenXM/include/asir/wsio.h +OpenXM/include/asir/w_stdio.h +OpenXM/include/asir/parse.h +OpenXM/include/asir/cpp.h +OpenXM/include/asir/comp.h +OpenXM/include/gc/gc.h +OpenXM/include/gc/gc_typed.h +OpenXM/include/gc/gc_private.h +OpenXM/include/gc/gc_priv.h +OpenXM/include/gc/gc_mark.h +OpenXM/include/gc/gc_hdrs.h +OpenXM/include/gc/gc_cpp.h +OpenXM/include/gc/gc_alloc.h +OpenXM/include/gc/gcconfig.h OpenXM/man/man1/gphelp.1 OpenXM/man/man1/gp.1 +OpenXM/man/man1/sm1.1 +OpenXM/man/man1/openxm.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/fetch_asir_key.sm1 OpenXM/rc/gen-shell-scripts +OpenXM/rc/openxm.1 +OpenXM/rc/repl.c @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 -@exec ln -fs ../lib/asir/asir %D/OpenXM/bin/ox_asir +@exec ln -fs ./asir %D/OpenXM/bin/ox_asir @exec ln -fs gp-2.0 %D/OpenXM/bin/gp -@exec ln -fs ./asir %D/OpenXM/lib/asir/ox_asir -@exec ln -fs ./asir %D/OpenXM/lib/asir/ox_launch -@exec ln -fs ./asir %D/OpenXM/lib/asir/ox_plot -@exec ln -fs ./help-eg %D/OpenXM/lib/asir/help +@exec ln -fs help-eg %D/OpenXM/lib/asir/help +@exec ln -fs ./../../bin/asir %D/OpenXM/lib/asir/asir +@exec ln -fs asir %D/OpenXM/lib/asir/ox_asir +@exec ln -fs asir %D/OpenXM/lib/asir/ox_launch +@exec ln -fs asir %D/OpenXM/lib/asir/ox_plot @exec ln -fs loop %D/OpenXM/lib/asir/help-eg/break @exec ln -fs loop %D/OpenXM/lib/asir/help-eg/return @exec ln -fs loop %D/OpenXM/lib/asir/help-eg/continue @@ -771,8 +1308,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 @@ -826,6 +1367,8 @@ OpenXM/rc/gen-shell-scripts @exec ln -fs katsura %D/OpenXM/lib/asir/help-eg/hcyclic @exec ln -fs primadec %D/OpenXM/lib/asir/help-eg/primedec @exec ln -fs asq %D/OpenXM/lib/asir/help-eg/af +@exec ln -fs asq %D/OpenXM/lib/asir/help-eg/af_noalg +@exec ln -fs sp %D/OpenXM/lib/asir/help-eg/sp_noalg @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-eg/ecm_sub_ff @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-eg/ecm_chsgn_ff @exec ln -fs idiv %D/OpenXM/lib/asir/help-jp/irem @@ -872,8 +1415,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 +1434,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 @@ -927,6 +1474,8 @@ OpenXM/rc/gen-shell-scripts @exec ln -fs katsura %D/OpenXM/lib/asir/help-jp/hcyclic @exec ln -fs primadec %D/OpenXM/lib/asir/help-jp/primedec @exec ln -fs asq %D/OpenXM/lib/asir/help-jp/af +@exec ln -fs asq %D/OpenXM/lib/asir/help-jp/af_noalg +@exec ln -fs sp %D/OpenXM/lib/asir/help-jp/sp_noalg @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-jp/ecm_sub_ff @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-jp/ecm_chsgn_ff @exec ln -fs ../../../bin/ox %D/OpenXM/lib/sm1/bin/ox @@ -943,3 +1492,5 @@ OpenXM/rc/gen-shell-scripts @exec ln -fs ../reset.eps %D/OpenXM/doc/OpenXM-specs/tmpJP/reset.eps @exec ln -fs pari.h %D/OpenXM/include/pari/genpari.h @exec ln -fs ../../../OpenXM/man/man1/gp.1 %D/OpenXM/man/man1/pari.1 +@exec ln -fs ../bin/rc.repl %D/OpenXM/rc/repl +@dirrm OpenXM