├── .gitignore ├── LICENSE.md ├── Makefile ├── README.md ├── bigmem.ch ├── compile.js ├── deploy.sh ├── etexdir ├── ChangeLog ├── am │ └── etex.am ├── etex.ch ├── etex_gen.tex ├── etex_version.h ├── etexextra.c ├── etexextra.h ├── etrip │ ├── etrip.diffs │ ├── etrip.fot │ ├── etrip.out │ ├── etrip.pl │ ├── etrip.tex │ ├── etrip.typ │ ├── etrip1.in │ ├── etrip2.in │ ├── etrip3.in │ ├── etripman.tex │ ├── texmf.cnf │ └── trip2.in ├── etriptest.test ├── tex.ch0 ├── tex.ch1 ├── tex.ech └── wprob.test ├── fonts ├── cmb10.tfm ├── cmbsy10.tfm ├── cmbx10.tfm ├── cmbx12.tfm ├── cmbx5.tfm ├── cmbx6.tfm ├── cmbx7.tfm ├── cmbx8.tfm ├── cmbx9.tfm ├── cmbxsl10.tfm ├── cmbxti10.tfm ├── cmcsc10.tfm ├── cmdunh10.tfm ├── cmex10.tfm ├── cmff10.tfm ├── cmfi10.tfm ├── cmfib8.tfm ├── cminch.tfm ├── cmitt10.tfm ├── cmmi10.tfm ├── cmmi12.tfm ├── cmmi5.tfm ├── cmmi6.tfm ├── cmmi7.tfm ├── cmmi8.tfm ├── cmmi9.tfm ├── cmmib10.tfm ├── cmr10.tfm ├── cmr12.tfm ├── cmr17.tfm ├── cmr5.tfm ├── cmr6.tfm ├── cmr7.tfm ├── cmr8.tfm ├── cmr9.tfm ├── cmsl10.tfm ├── cmsl12.tfm ├── cmsl8.tfm ├── cmsl9.tfm ├── cmsltt10.tfm ├── cmss10.tfm ├── cmss12.tfm ├── cmss17.tfm ├── cmss8.tfm ├── cmss9.tfm ├── cmssbx10.tfm ├── cmssdc10.tfm ├── cmssi10.tfm ├── cmssi12.tfm ├── cmssi17.tfm ├── cmssi8.tfm ├── cmssi9.tfm ├── cmssq8.tfm ├── cmssqi8.tfm ├── cmsy10.tfm ├── cmsy5.tfm ├── cmsy6.tfm ├── cmsy7.tfm ├── cmsy8.tfm ├── cmsy9.tfm ├── cmtcsc10.tfm ├── cmtex10.tfm ├── cmtex8.tfm ├── cmtex9.tfm ├── cmti10.tfm ├── cmti12.tfm ├── cmti7.tfm ├── cmti8.tfm ├── cmti9.tfm ├── cmtt10.tfm ├── cmtt12.tfm ├── cmtt8.tfm ├── cmtt9.tfm ├── cmu10.tfm ├── cmvtt10.tfm └── manfnt.tfm ├── header.js ├── index.js ├── initex.js ├── jstex ├── banner.ch ├── codes.ch ├── date.ch ├── directjs.ch ├── expanded.ch ├── filesize.ch ├── inputln.ch ├── kanjiskip.ch ├── license.ch ├── logopenout.ch ├── nonlocal-goto.ch ├── ord-chr.ch ├── shellescape.ch ├── snapshot.ch ├── strcmp.ch ├── tokens.ch ├── uchar.ch ├── version.ch └── wordsize.ch ├── library.js ├── package.json ├── parser.jison ├── pascal ├── array-index.js ├── array-type.js ├── block.js ├── constant-declaration.js ├── constant.js ├── desig.js ├── environment.js ├── expression-with-width.js ├── file-type.js ├── function-declaration.js ├── function-evaluation.js ├── identifier.js ├── memory.js ├── numeric-literal.js ├── operation.js ├── pointer-type.js ├── pointer.js ├── program.js ├── record-declaration.js ├── record-type.js ├── single-character.js ├── stack.js ├── statements │ ├── assignment.js │ ├── call-procedure.js │ ├── case.js │ ├── compound.js │ ├── conditional.js │ ├── for.js │ ├── goto.js │ ├── labeled-statement.js │ ├── nop.js │ ├── repeat.js │ ├── switch.js │ └── while.js ├── string-literal.js ├── subrange-type.js ├── type-declaration.js ├── unary-operation.js ├── variable-declaration.js └── variant-declaration.js ├── sample.tex ├── spec ├── arithmetic.p ├── array.p ├── assign-string.p ├── big-record.p ├── boolean-operators.p ├── case.p ├── conditional.p ├── const.p ├── do-while.p ├── for-loop.p ├── function-no-params.p ├── function.p ├── goto-at-end.p ├── goto-up.p ├── goto.p ├── local-array.p ├── locals.p ├── loop.p ├── ord-and-chr.p ├── parameters.p ├── pass-by-reference.p ├── procedure.p ├── record.p ├── recursion.p ├── run-tests.js ├── simple-record.p ├── single-character.p ├── stack.p ├── string-literal.p └── writeln-parameters.p ├── tex.ch ├── tex.js ├── texk └── tex.web ├── trip.ch ├── trip.js ├── tripdiff.js └── triptrap ├── README ├── mftrap.diffs ├── mftrap.fot ├── mftrap.log ├── mftrap.pl ├── mftrap1.in ├── mftrap2.in ├── mftrapin.log ├── mptrap.diffs ├── mptrap.fot ├── mptrap.log ├── mptrap.pl ├── mptrap.readme ├── mptrap1.in ├── mptrap2.in ├── mptrapin.log ├── mtrap.0 ├── mtrap.1 ├── mtrap.log ├── mtrap.mp ├── texmf.cnf ├── trap.148 ├── trap.149 ├── trap.150 ├── trap.151 ├── trap.197 ├── trap.200 ├── trap.5 ├── trap.6 ├── trap.mf ├── trap.mp ├── trap.mpx ├── trap.typ ├── trapf.pl ├── trapman.tex ├── trip.diffs ├── trip.fot ├── trip.log ├── trip.pl ├── trip.tex ├── trip.typ ├── trip1.in ├── trip2.in ├── tripin.log ├── tripman.tex ├── tripos.tex ├── writeo └── writeo.2 /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/README.md -------------------------------------------------------------------------------- /bigmem.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/bigmem.ch -------------------------------------------------------------------------------- /compile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/compile.js -------------------------------------------------------------------------------- /deploy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/deploy.sh -------------------------------------------------------------------------------- /etexdir/ChangeLog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/ChangeLog -------------------------------------------------------------------------------- /etexdir/am/etex.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/am/etex.am -------------------------------------------------------------------------------- /etexdir/etex.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etex.ch -------------------------------------------------------------------------------- /etexdir/etex_gen.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etex_gen.tex -------------------------------------------------------------------------------- /etexdir/etex_version.h: -------------------------------------------------------------------------------- 1 | #define ETEX_VERSION "2.6" 2 | -------------------------------------------------------------------------------- /etexdir/etexextra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etexextra.c -------------------------------------------------------------------------------- /etexdir/etexextra.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etexextra.h -------------------------------------------------------------------------------- /etexdir/etrip/etrip.diffs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etrip.diffs -------------------------------------------------------------------------------- /etexdir/etrip/etrip.fot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etrip.fot -------------------------------------------------------------------------------- /etexdir/etrip/etrip.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etrip.out -------------------------------------------------------------------------------- /etexdir/etrip/etrip.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etrip.pl -------------------------------------------------------------------------------- /etexdir/etrip/etrip.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etrip.tex -------------------------------------------------------------------------------- /etexdir/etrip/etrip.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etrip.typ -------------------------------------------------------------------------------- /etexdir/etrip/etrip1.in: -------------------------------------------------------------------------------- 1 | 2 | *\input trip 3 | -------------------------------------------------------------------------------- /etexdir/etrip/etrip2.in: -------------------------------------------------------------------------------- 1 | *etrip 2 | -------------------------------------------------------------------------------- /etexdir/etrip/etrip3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etrip3.in -------------------------------------------------------------------------------- /etexdir/etrip/etripman.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/etripman.tex -------------------------------------------------------------------------------- /etexdir/etrip/texmf.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/texmf.cnf -------------------------------------------------------------------------------- /etexdir/etrip/trip2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etrip/trip2.in -------------------------------------------------------------------------------- /etexdir/etriptest.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/etriptest.test -------------------------------------------------------------------------------- /etexdir/tex.ch0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/tex.ch0 -------------------------------------------------------------------------------- /etexdir/tex.ch1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/tex.ch1 -------------------------------------------------------------------------------- /etexdir/tex.ech: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/tex.ech -------------------------------------------------------------------------------- /etexdir/wprob.test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/etexdir/wprob.test -------------------------------------------------------------------------------- /fonts/cmb10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmb10.tfm -------------------------------------------------------------------------------- /fonts/cmbsy10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbsy10.tfm -------------------------------------------------------------------------------- /fonts/cmbx10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbx10.tfm -------------------------------------------------------------------------------- /fonts/cmbx12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbx12.tfm -------------------------------------------------------------------------------- /fonts/cmbx5.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbx5.tfm -------------------------------------------------------------------------------- /fonts/cmbx6.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbx6.tfm -------------------------------------------------------------------------------- /fonts/cmbx7.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbx7.tfm -------------------------------------------------------------------------------- /fonts/cmbx8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbx8.tfm -------------------------------------------------------------------------------- /fonts/cmbx9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbx9.tfm -------------------------------------------------------------------------------- /fonts/cmbxsl10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbxsl10.tfm -------------------------------------------------------------------------------- /fonts/cmbxti10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmbxti10.tfm -------------------------------------------------------------------------------- /fonts/cmcsc10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmcsc10.tfm -------------------------------------------------------------------------------- /fonts/cmdunh10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmdunh10.tfm -------------------------------------------------------------------------------- /fonts/cmex10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmex10.tfm -------------------------------------------------------------------------------- /fonts/cmff10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmff10.tfm -------------------------------------------------------------------------------- /fonts/cmfi10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmfi10.tfm -------------------------------------------------------------------------------- /fonts/cmfib8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmfib8.tfm -------------------------------------------------------------------------------- /fonts/cminch.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cminch.tfm -------------------------------------------------------------------------------- /fonts/cmitt10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmitt10.tfm -------------------------------------------------------------------------------- /fonts/cmmi10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmi10.tfm -------------------------------------------------------------------------------- /fonts/cmmi12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmi12.tfm -------------------------------------------------------------------------------- /fonts/cmmi5.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmi5.tfm -------------------------------------------------------------------------------- /fonts/cmmi6.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmi6.tfm -------------------------------------------------------------------------------- /fonts/cmmi7.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmi7.tfm -------------------------------------------------------------------------------- /fonts/cmmi8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmi8.tfm -------------------------------------------------------------------------------- /fonts/cmmi9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmi9.tfm -------------------------------------------------------------------------------- /fonts/cmmib10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmmib10.tfm -------------------------------------------------------------------------------- /fonts/cmr10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr10.tfm -------------------------------------------------------------------------------- /fonts/cmr12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr12.tfm -------------------------------------------------------------------------------- /fonts/cmr17.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr17.tfm -------------------------------------------------------------------------------- /fonts/cmr5.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr5.tfm -------------------------------------------------------------------------------- /fonts/cmr6.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr6.tfm -------------------------------------------------------------------------------- /fonts/cmr7.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr7.tfm -------------------------------------------------------------------------------- /fonts/cmr8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr8.tfm -------------------------------------------------------------------------------- /fonts/cmr9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmr9.tfm -------------------------------------------------------------------------------- /fonts/cmsl10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsl10.tfm -------------------------------------------------------------------------------- /fonts/cmsl12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsl12.tfm -------------------------------------------------------------------------------- /fonts/cmsl8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsl8.tfm -------------------------------------------------------------------------------- /fonts/cmsl9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsl9.tfm -------------------------------------------------------------------------------- /fonts/cmsltt10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsltt10.tfm -------------------------------------------------------------------------------- /fonts/cmss10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmss10.tfm -------------------------------------------------------------------------------- /fonts/cmss12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmss12.tfm -------------------------------------------------------------------------------- /fonts/cmss17.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmss17.tfm -------------------------------------------------------------------------------- /fonts/cmss8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmss8.tfm -------------------------------------------------------------------------------- /fonts/cmss9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmss9.tfm -------------------------------------------------------------------------------- /fonts/cmssbx10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssbx10.tfm -------------------------------------------------------------------------------- /fonts/cmssdc10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssdc10.tfm -------------------------------------------------------------------------------- /fonts/cmssi10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssi10.tfm -------------------------------------------------------------------------------- /fonts/cmssi12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssi12.tfm -------------------------------------------------------------------------------- /fonts/cmssi17.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssi17.tfm -------------------------------------------------------------------------------- /fonts/cmssi8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssi8.tfm -------------------------------------------------------------------------------- /fonts/cmssi9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssi9.tfm -------------------------------------------------------------------------------- /fonts/cmssq8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssq8.tfm -------------------------------------------------------------------------------- /fonts/cmssqi8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmssqi8.tfm -------------------------------------------------------------------------------- /fonts/cmsy10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsy10.tfm -------------------------------------------------------------------------------- /fonts/cmsy5.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsy5.tfm -------------------------------------------------------------------------------- /fonts/cmsy6.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsy6.tfm -------------------------------------------------------------------------------- /fonts/cmsy7.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsy7.tfm -------------------------------------------------------------------------------- /fonts/cmsy8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsy8.tfm -------------------------------------------------------------------------------- /fonts/cmsy9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmsy9.tfm -------------------------------------------------------------------------------- /fonts/cmtcsc10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtcsc10.tfm -------------------------------------------------------------------------------- /fonts/cmtex10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtex10.tfm -------------------------------------------------------------------------------- /fonts/cmtex8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtex8.tfm -------------------------------------------------------------------------------- /fonts/cmtex9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtex9.tfm -------------------------------------------------------------------------------- /fonts/cmti10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmti10.tfm -------------------------------------------------------------------------------- /fonts/cmti12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmti12.tfm -------------------------------------------------------------------------------- /fonts/cmti7.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmti7.tfm -------------------------------------------------------------------------------- /fonts/cmti8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmti8.tfm -------------------------------------------------------------------------------- /fonts/cmti9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmti9.tfm -------------------------------------------------------------------------------- /fonts/cmtt10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtt10.tfm -------------------------------------------------------------------------------- /fonts/cmtt12.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtt12.tfm -------------------------------------------------------------------------------- /fonts/cmtt8.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtt8.tfm -------------------------------------------------------------------------------- /fonts/cmtt9.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmtt9.tfm -------------------------------------------------------------------------------- /fonts/cmu10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmu10.tfm -------------------------------------------------------------------------------- /fonts/cmvtt10.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/cmvtt10.tfm -------------------------------------------------------------------------------- /fonts/manfnt.tfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/fonts/manfnt.tfm -------------------------------------------------------------------------------- /header.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/header.js -------------------------------------------------------------------------------- /index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/index.js -------------------------------------------------------------------------------- /initex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/initex.js -------------------------------------------------------------------------------- /jstex/banner.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/banner.ch -------------------------------------------------------------------------------- /jstex/codes.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/codes.ch -------------------------------------------------------------------------------- /jstex/date.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/date.ch -------------------------------------------------------------------------------- /jstex/directjs.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/directjs.ch -------------------------------------------------------------------------------- /jstex/expanded.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/expanded.ch -------------------------------------------------------------------------------- /jstex/filesize.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/filesize.ch -------------------------------------------------------------------------------- /jstex/inputln.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/inputln.ch -------------------------------------------------------------------------------- /jstex/kanjiskip.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/kanjiskip.ch -------------------------------------------------------------------------------- /jstex/license.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/license.ch -------------------------------------------------------------------------------- /jstex/logopenout.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/logopenout.ch -------------------------------------------------------------------------------- /jstex/nonlocal-goto.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/nonlocal-goto.ch -------------------------------------------------------------------------------- /jstex/ord-chr.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/ord-chr.ch -------------------------------------------------------------------------------- /jstex/shellescape.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/shellescape.ch -------------------------------------------------------------------------------- /jstex/snapshot.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/snapshot.ch -------------------------------------------------------------------------------- /jstex/strcmp.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/strcmp.ch -------------------------------------------------------------------------------- /jstex/tokens.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/tokens.ch -------------------------------------------------------------------------------- /jstex/uchar.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/uchar.ch -------------------------------------------------------------------------------- /jstex/version.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/version.ch -------------------------------------------------------------------------------- /jstex/wordsize.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/jstex/wordsize.ch -------------------------------------------------------------------------------- /library.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/library.js -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/package.json -------------------------------------------------------------------------------- /parser.jison: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/parser.jison -------------------------------------------------------------------------------- /pascal/array-index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/array-index.js -------------------------------------------------------------------------------- /pascal/array-type.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/array-type.js -------------------------------------------------------------------------------- /pascal/block.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/block.js -------------------------------------------------------------------------------- /pascal/constant-declaration.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/constant-declaration.js -------------------------------------------------------------------------------- /pascal/constant.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/constant.js -------------------------------------------------------------------------------- /pascal/desig.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/desig.js -------------------------------------------------------------------------------- /pascal/environment.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/environment.js -------------------------------------------------------------------------------- /pascal/expression-with-width.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/expression-with-width.js -------------------------------------------------------------------------------- /pascal/file-type.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/file-type.js -------------------------------------------------------------------------------- /pascal/function-declaration.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/function-declaration.js -------------------------------------------------------------------------------- /pascal/function-evaluation.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/function-evaluation.js -------------------------------------------------------------------------------- /pascal/identifier.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/identifier.js -------------------------------------------------------------------------------- /pascal/memory.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/memory.js -------------------------------------------------------------------------------- /pascal/numeric-literal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/numeric-literal.js -------------------------------------------------------------------------------- /pascal/operation.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/operation.js -------------------------------------------------------------------------------- /pascal/pointer-type.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/pointer-type.js -------------------------------------------------------------------------------- /pascal/pointer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/pointer.js -------------------------------------------------------------------------------- /pascal/program.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/program.js -------------------------------------------------------------------------------- /pascal/record-declaration.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/record-declaration.js -------------------------------------------------------------------------------- /pascal/record-type.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/record-type.js -------------------------------------------------------------------------------- /pascal/single-character.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/single-character.js -------------------------------------------------------------------------------- /pascal/stack.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/stack.js -------------------------------------------------------------------------------- /pascal/statements/assignment.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/assignment.js -------------------------------------------------------------------------------- /pascal/statements/call-procedure.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/call-procedure.js -------------------------------------------------------------------------------- /pascal/statements/case.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/case.js -------------------------------------------------------------------------------- /pascal/statements/compound.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/compound.js -------------------------------------------------------------------------------- /pascal/statements/conditional.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/conditional.js -------------------------------------------------------------------------------- /pascal/statements/for.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/for.js -------------------------------------------------------------------------------- /pascal/statements/goto.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/goto.js -------------------------------------------------------------------------------- /pascal/statements/labeled-statement.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/labeled-statement.js -------------------------------------------------------------------------------- /pascal/statements/nop.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/nop.js -------------------------------------------------------------------------------- /pascal/statements/repeat.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/repeat.js -------------------------------------------------------------------------------- /pascal/statements/switch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/switch.js -------------------------------------------------------------------------------- /pascal/statements/while.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/statements/while.js -------------------------------------------------------------------------------- /pascal/string-literal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/string-literal.js -------------------------------------------------------------------------------- /pascal/subrange-type.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/subrange-type.js -------------------------------------------------------------------------------- /pascal/type-declaration.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/type-declaration.js -------------------------------------------------------------------------------- /pascal/unary-operation.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/unary-operation.js -------------------------------------------------------------------------------- /pascal/variable-declaration.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/variable-declaration.js -------------------------------------------------------------------------------- /pascal/variant-declaration.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/pascal/variant-declaration.js -------------------------------------------------------------------------------- /sample.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/sample.tex -------------------------------------------------------------------------------- /spec/arithmetic.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/arithmetic.p -------------------------------------------------------------------------------- /spec/array.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/array.p -------------------------------------------------------------------------------- /spec/assign-string.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/assign-string.p -------------------------------------------------------------------------------- /spec/big-record.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/big-record.p -------------------------------------------------------------------------------- /spec/boolean-operators.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/boolean-operators.p -------------------------------------------------------------------------------- /spec/case.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/case.p -------------------------------------------------------------------------------- /spec/conditional.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/conditional.p -------------------------------------------------------------------------------- /spec/const.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/const.p -------------------------------------------------------------------------------- /spec/do-while.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/do-while.p -------------------------------------------------------------------------------- /spec/for-loop.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/for-loop.p -------------------------------------------------------------------------------- /spec/function-no-params.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/function-no-params.p -------------------------------------------------------------------------------- /spec/function.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/function.p -------------------------------------------------------------------------------- /spec/goto-at-end.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/goto-at-end.p -------------------------------------------------------------------------------- /spec/goto-up.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/goto-up.p -------------------------------------------------------------------------------- /spec/goto.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/goto.p -------------------------------------------------------------------------------- /spec/local-array.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/local-array.p -------------------------------------------------------------------------------- /spec/locals.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/locals.p -------------------------------------------------------------------------------- /spec/loop.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/loop.p -------------------------------------------------------------------------------- /spec/ord-and-chr.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/ord-and-chr.p -------------------------------------------------------------------------------- /spec/parameters.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/parameters.p -------------------------------------------------------------------------------- /spec/pass-by-reference.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/pass-by-reference.p -------------------------------------------------------------------------------- /spec/procedure.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/procedure.p -------------------------------------------------------------------------------- /spec/record.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/record.p -------------------------------------------------------------------------------- /spec/recursion.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/recursion.p -------------------------------------------------------------------------------- /spec/run-tests.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/run-tests.js -------------------------------------------------------------------------------- /spec/simple-record.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/simple-record.p -------------------------------------------------------------------------------- /spec/single-character.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/single-character.p -------------------------------------------------------------------------------- /spec/stack.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/stack.p -------------------------------------------------------------------------------- /spec/string-literal.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/string-literal.p -------------------------------------------------------------------------------- /spec/writeln-parameters.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/spec/writeln-parameters.p -------------------------------------------------------------------------------- /tex.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/tex.ch -------------------------------------------------------------------------------- /tex.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/tex.js -------------------------------------------------------------------------------- /texk/tex.web: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/texk/tex.web -------------------------------------------------------------------------------- /trip.ch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/trip.ch -------------------------------------------------------------------------------- /trip.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/trip.js -------------------------------------------------------------------------------- /tripdiff.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/tripdiff.js -------------------------------------------------------------------------------- /triptrap/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/README -------------------------------------------------------------------------------- /triptrap/mftrap.diffs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mftrap.diffs -------------------------------------------------------------------------------- /triptrap/mftrap.fot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mftrap.fot -------------------------------------------------------------------------------- /triptrap/mftrap.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mftrap.log -------------------------------------------------------------------------------- /triptrap/mftrap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mftrap.pl -------------------------------------------------------------------------------- /triptrap/mftrap1.in: -------------------------------------------------------------------------------- 1 | 2 | \input trap 3 | 4 | -------------------------------------------------------------------------------- /triptrap/mftrap2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mftrap2.in -------------------------------------------------------------------------------- /triptrap/mftrapin.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mftrapin.log -------------------------------------------------------------------------------- /triptrap/mptrap.diffs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mptrap.diffs -------------------------------------------------------------------------------- /triptrap/mptrap.fot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mptrap.fot -------------------------------------------------------------------------------- /triptrap/mptrap.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mptrap.log -------------------------------------------------------------------------------- /triptrap/mptrap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mptrap.pl -------------------------------------------------------------------------------- /triptrap/mptrap.readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mptrap.readme -------------------------------------------------------------------------------- /triptrap/mptrap1.in: -------------------------------------------------------------------------------- 1 | 2 | \input trap 3 | dump 4 | -------------------------------------------------------------------------------- /triptrap/mptrap2.in: -------------------------------------------------------------------------------- 1 | trap 2 | end 3 | -------------------------------------------------------------------------------- /triptrap/mptrapin.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mptrapin.log -------------------------------------------------------------------------------- /triptrap/mtrap.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mtrap.0 -------------------------------------------------------------------------------- /triptrap/mtrap.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mtrap.1 -------------------------------------------------------------------------------- /triptrap/mtrap.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mtrap.log -------------------------------------------------------------------------------- /triptrap/mtrap.mp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/mtrap.mp -------------------------------------------------------------------------------- /triptrap/texmf.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/texmf.cnf -------------------------------------------------------------------------------- /triptrap/trap.148: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.148 -------------------------------------------------------------------------------- /triptrap/trap.149: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.149 -------------------------------------------------------------------------------- /triptrap/trap.150: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.150 -------------------------------------------------------------------------------- /triptrap/trap.151: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.151 -------------------------------------------------------------------------------- /triptrap/trap.197: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.197 -------------------------------------------------------------------------------- /triptrap/trap.200: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.200 -------------------------------------------------------------------------------- /triptrap/trap.5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.5 -------------------------------------------------------------------------------- /triptrap/trap.6: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.6 -------------------------------------------------------------------------------- /triptrap/trap.mf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.mf -------------------------------------------------------------------------------- /triptrap/trap.mp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.mp -------------------------------------------------------------------------------- /triptrap/trap.mpx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.mpx -------------------------------------------------------------------------------- /triptrap/trap.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trap.typ -------------------------------------------------------------------------------- /triptrap/trapf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trapf.pl -------------------------------------------------------------------------------- /triptrap/trapman.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trapman.tex -------------------------------------------------------------------------------- /triptrap/trip.diffs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trip.diffs -------------------------------------------------------------------------------- /triptrap/trip.fot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trip.fot -------------------------------------------------------------------------------- /triptrap/trip.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trip.log -------------------------------------------------------------------------------- /triptrap/trip.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trip.pl -------------------------------------------------------------------------------- /triptrap/trip.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trip.tex -------------------------------------------------------------------------------- /triptrap/trip.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trip.typ -------------------------------------------------------------------------------- /triptrap/trip1.in: -------------------------------------------------------------------------------- 1 | 2 | \input trip 3 | -------------------------------------------------------------------------------- /triptrap/trip2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/trip2.in -------------------------------------------------------------------------------- /triptrap/tripin.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/tripin.log -------------------------------------------------------------------------------- /triptrap/tripman.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/tripman.tex -------------------------------------------------------------------------------- /triptrap/tripos.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/tripos.tex -------------------------------------------------------------------------------- /triptrap/writeo: -------------------------------------------------------------------------------- 1 | Clobbered. 2 | -------------------------------------------------------------------------------- /triptrap/writeo.2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kisonecat/web2js/HEAD/triptrap/writeo.2 --------------------------------------------------------------------------------