"Fossies" - the Fresh Open Source Software Archive
"Fossies" - the Fresh Open Source Software Archive
Fossies downloads: /linux/www/ hevea-2.35.tar.gz (tar.bz2|tar.xz|zip)
Fossies services: Diffs report | CLOC analysis
Original URL: https://para.inria.fr/~maranget/hevea/distri/hevea-2.35.tar.gz
Home page: http://hevea.inria.fr/
VirusTotal check: Ok
Member paths+URLs: shortened | Full
Member sort order: docs related (infos|docs|other) | original | size | date | path | name | ext | top-path files
Basic infos (README, FAQ, INSTALL, ChangeLog, ...): -rw-r--r-- 33727 2021-01-16 11:36 hevea-2.35/CHANGES -rw-r--r-- 30867 2021-01-16 11:36 hevea-2.35/LICENSE -rw-r--r-- 3843 2021-01-16 11:36 hevea-2.35/README -rw-r--r-- 235 2021-01-16 11:36 hevea-2.35/release/README
Basic docs (manual pages, PDF-,HTML-,/doc/-files, ...): -rw-r--r-- 312 2021-01-16 11:36 hevea-2.35/html/amsfonts.hva -rw-r--r-- 21102 2021-01-16 11:36 hevea-2.35/html/amssymb.hva -rw-r--r-- 976 2021-01-16 11:36 hevea-2.35/html/article.hva -rw-r--r-- 415 2021-01-16 11:36 hevea-2.35/html/austrian.hva -rw-r--r-- 1134 2021-01-16 11:36 hevea-2.35/html/book.hva -rw-r--r-- 5007 2021-01-16 11:36 hevea-2.35/html/color.hva -rw-r--r-- 41 2021-01-16 11:36 hevea-2.35/html/colortbl.hva -rw-r--r-- 812 2021-01-16 11:36 hevea-2.35/html/commongraphic.hva -rw-r--r-- 14418 2021-01-16 11:36 hevea-2.35/html/common-math.hva -rw-r--r-- 3085 2021-01-16 11:36 hevea-2.35/html/fancysection.hva -rw-r--r-- 4642 2021-01-16 11:36 hevea-2.35/html/fancyvrb.hva -rw-r--r-- 1968 2021-01-16 11:36 hevea-2.35/html/french.hva -rw-r--r-- 389 2021-01-16 11:36 hevea-2.35/html/german.hva -rw-r--r-- 56 2021-01-16 11:36 hevea-2.35/html/gif.hva -rw-r--r-- 346 2021-01-16 11:36 hevea-2.35/html/graphics.hva -rw-r--r-- 367 2021-01-16 11:36 hevea-2.35/html/graphicx.hva -rw-r--r-- 32536 2021-01-16 11:36 hevea-2.35/html/hevea.hva -rw-r--r-- 3878 2021-01-16 11:36 hevea-2.35/html/lang.hva -rw-r--r-- 27 2021-01-16 11:36 hevea-2.35/html/mathjaxauto.hva -rw-r--r-- 1332 2021-01-16 11:36 hevea-2.35/html/mathjax.hva -rw-r--r-- 7171 2021-01-16 11:36 hevea-2.35/html/mathpartir.hva -rw-r--r-- 516 2021-01-16 11:36 hevea-2.35/html/natbib.hva -rw-r--r-- 56 2021-01-16 11:36 hevea-2.35/html/png.hva -rw-r--r-- 16 2021-01-16 11:36 hevea-2.35/html/report.hva -rw-r--r-- 1407 2021-01-16 11:36 hevea-2.35/html/seminar.hva -rw-r--r-- 369 2021-01-16 11:36 hevea-2.35/html/svg.hva -rw-r--r-- 166 2021-01-16 11:36 hevea-2.35/html/sword.hva -rw-r--r-- 0 2021-01-16 11:36 hevea-2.35/html/symb-eng.hva -rw-r--r-- 1480 2021-01-16 11:36 hevea-2.35/html/symb-ent.hva -rw-r--r-- 1259 2021-01-16 11:36 hevea-2.35/html/symb-fra.hva -rw-r--r-- 10092 2021-01-16 11:36 hevea-2.35/html/symb-mathml.hva -rw-r--r-- 26 2021-01-16 11:36 hevea-2.35/html/symb-text.hva -rw-r--r-- 2590 2021-01-16 11:36 hevea-2.35/html/undersection.hva -rw-r--r-- 160 2021-01-16 11:36 hevea-2.35/html/urlhref.hva -rw-r--r-- 404 2021-01-16 11:36 hevea-2.35/html/xypic.hva
All other files: -rw-r--r-- 873 2021-01-16 11:36 hevea-2.35/examples/acc.tex -rw-r--r-- 37 2021-01-16 11:36 hevea-2.35/alltt.hva -rw-r--r-- 11081 2021-01-16 11:36 hevea-2.35/amsmath.hva -rw-r--r-- 8043 2021-01-16 11:36 hevea-2.35/examples/amssymb-test.tex -rw-r--r-- 4592 2021-01-16 11:36 hevea-2.35/examples/amstex.tex -rw-r--r-- 1652 2021-01-16 11:36 hevea-2.35/articlecommon.hva -rw-r--r-- 612 2021-01-16 11:36 hevea-2.35/info/article.hva -rw-r--r-- 847 2021-01-16 11:36 hevea-2.35/text/article.hva -rw-r--r-- 113 2021-01-16 11:36 hevea-2.35/bugs/001/a.tex -rw-r--r-- 164 2021-01-16 11:36 hevea-2.35/bugs/003/a.tex -rw-r--r-- 196 2021-01-16 11:36 hevea-2.35/bugs/004/a.tex -rw-r--r-- 221 2021-01-16 11:36 hevea-2.35/bugs/010/a.tex -rw-r--r-- 243 2021-01-16 11:36 hevea-2.35/bugs/002/a.tex -rw-r--r-- 2910 2021-01-16 11:36 hevea-2.35/bugs/005/a.tex -rw-r--r-- 400 2021-01-16 11:36 hevea-2.35/bugs/007/a.tex -rw-r--r-- 4565 2021-01-16 11:36 hevea-2.35/examples/a.tex -rw-r--r-- 118 2021-01-16 11:36 hevea-2.35/text/austrian.hva -rw-r--r-- 1257 2021-01-16 11:36 hevea-2.35/auxx.mli -rw-r--r-- 6549 2021-01-16 11:36 hevea-2.35/auxx.ml -rw-r--r-- 8460 2021-01-16 11:36 hevea-2.35/babel.hva -rw-r--r-- 2088 2021-01-16 11:36 hevea-2.35/examples/babel.tex -rw-r--r-- 12379 2021-01-16 11:36 hevea-2.35/examples/bib.bib -rw-r--r-- 3313 2021-01-16 11:36 hevea-2.35/bibhva.ml -rw-r--r-- 2031 2021-01-16 11:36 hevea-2.35/bookcommon.hva -rw-r--r-- 609 2021-01-16 11:36 hevea-2.35/info/book.hva -rw-r--r-- 967 2021-01-16 11:36 hevea-2.35/text/book.hva -rw-r--r-- 717 2021-01-16 11:36 hevea-2.35/booktabs.hva -rw-r--r-- 3882 2021-01-16 11:36 hevea-2.35/examples/boxes.tex -rw-r--r-- 543 2021-01-16 11:36 hevea-2.35/examples/boxmodel.tex -rw-r--r-- 367 2021-01-16 11:36 hevea-2.35/bugs/013/bug.tex -rw-r--r-- 285 2021-01-16 11:36 hevea-2.35/bytes.mlip -rw-r--r-- 154 2021-01-16 11:36 hevea-2.35/bytes.mlp -rw-r--r-- 882 2021-01-16 11:36 hevea-2.35/examples/cart-bis.tex -rw-r--r-- 888 2021-01-16 11:36 hevea-2.35/examples/cart-ter.tex -rw-r--r-- 856 2021-01-16 11:36 hevea-2.35/examples/cart.tex -rw-r--r-- 827 2021-01-16 11:36 hevea-2.35/examples/cbook.tex -rw-r--r-- 59621 2021-01-16 11:36 hevea-2.35/bugs/008/Chapter_6.tex -rw-r--r-- 6614 2021-01-16 11:36 hevea-2.35/bugs/008/Chapter_7.tex -rw-r--r-- 1039 2021-01-16 11:36 hevea-2.35/chapterbib.hva -rw-r--r-- 118 2021-01-16 11:36 hevea-2.35/check402.ml -rw-r--r-- 422 2021-01-16 11:36 hevea-2.35/check.sh -rw-r--r-- 389 2021-01-16 11:36 hevea-2.35/chngcntr.hva -rw-r--r-- 6507 2021-01-16 11:36 hevea-2.35/cleveref.hva -rw-r--r-- 2254 2021-01-16 11:36 hevea-2.35/examples/colorcir.eps -rw-r--r-- 275 2021-01-16 11:36 hevea-2.35/text/color.hva -rw-r--r-- 1115 2021-01-16 11:36 hevea-2.35/color.mli -rw-r--r-- 4498 2021-01-16 11:36 hevea-2.35/color.ml -rw-r--r-- 106 2021-01-16 11:36 hevea-2.35/text/colortbl.hva -rw-r--r-- 982 2021-01-16 11:36 hevea-2.35/colscan.mli -rw-r--r-- 1448 2021-01-16 11:36 hevea-2.35/colscan.mll -rw-r--r-- 773 2021-01-16 11:36 hevea-2.35/comment.hva -rw-r--r-- 182 2021-01-16 11:36 hevea-2.35/compat.hva -rw-r--r-- 51 2021-01-16 11:36 hevea-2.35/release/config.sh -rw-r--r-- 316 2021-01-16 11:36 hevea-2.35/contents_motif.gif -rw-r--r-- 185 2021-01-16 11:36 hevea-2.35/contents_motif.svg -rw-r--r-- 1088 2021-01-16 11:36 hevea-2.35/counter.mli -rw-r--r-- 4493 2021-01-16 11:36 hevea-2.35/counter.ml -rw-r--r-- 1013 2021-01-16 11:36 hevea-2.35/count.mli -rw-r--r-- 1123 2021-01-16 11:36 hevea-2.35/count.ml -rw-r--r-- 139965 2021-01-16 11:36 hevea-2.35/crlang.hva -rw-r--r-- 1204 2021-01-16 11:36 hevea-2.35/cross.mli -rw-r--r-- 2253 2021-01-16 11:36 hevea-2.35/cross.ml -rw-r--r-- 887 2021-01-16 11:36 hevea-2.35/css.mli -rw-r--r-- 1299 2021-01-16 11:36 hevea-2.35/cut.mli -rw-r--r-- 26431 2021-01-16 11:36 hevea-2.35/cut.mll -rw-r--r-- 1241 2021-01-16 11:36 hevea-2.35/cutOut.mli -rw-r--r-- 1661 2021-01-16 11:36 hevea-2.35/cutOut.ml -rw-r--r-- 1504 2021-01-16 11:36 hevea-2.35/czech.hva -rw-r--r-- 2243 2021-01-16 11:36 hevea-2.35/deepcut.hva -rw-r--r-- 12177 2021-01-16 11:36 hevea-2.35/.depend -rw-r--r-- 615 2021-01-16 11:36 hevea-2.35/examples/di.tex -rw-r--r-- 1664 2021-01-16 11:36 hevea-2.35/doOut.mli -rw-r--r-- 9230 2021-01-16 11:36 hevea-2.35/doOut.ml -rw-r--r-- 876 2021-01-16 11:36 hevea-2.35/element.mli -rw-r--r-- 1053 2021-01-16 11:36 hevea-2.35/element.ml -rw-r--r-- 1115 2021-01-16 11:36 hevea-2.35/emisc.mli -rw-r--r-- 1095 2021-01-16 11:36 hevea-2.35/emisc.ml -rw-r--r-- 941 2021-01-16 11:36 hevea-2.35/english.hva -rw-r--r-- 918 2021-01-16 11:36 hevea-2.35/entry.mli -rw-r--r-- 2478 2021-01-16 11:36 hevea-2.35/entry.mll -rw-r--r-- 256 2021-01-16 11:36 hevea-2.35/examples/env.hva -rw-r--r-- 2138 2021-01-16 11:36 hevea-2.35/examples/env.tex -rw-r--r-- 102 2021-01-16 11:36 hevea-2.35/epsfig.hva -rw-r--r-- 982 2021-01-16 11:36 hevea-2.35/esp.mli -rw-r--r-- 7286 2021-01-16 11:36 hevea-2.35/esp.ml -rw-r--r-- 2237 2021-01-16 11:36 hevea-2.35/esponja.ml -rw-r--r-- 556 2021-01-16 11:36 hevea-2.35/eurosym.hva -rw-r--r-- 2776 2021-01-16 11:36 hevea-2.35/examples/exlst.tex -rwxr-xr-x 67 2021-01-16 11:36 hevea-2.35/expandlib.sh -rw-r--r-- 882 2021-01-16 11:36 hevea-2.35/explode.mli -rw-r--r-- 1773 2021-01-16 11:36 hevea-2.35/explode.ml -rw-r--r-- 18 2021-01-16 11:36 hevea-2.35/text/fancysection.hva -rw-r--r-- 9152 2021-01-16 11:36 hevea-2.35/examples/fancy-test.tex -rw-r--r-- 2471 2021-01-16 11:36 hevea-2.35/figcut.hva -rw-r--r-- 257 2021-01-16 11:36 hevea-2.35/fmt_map.mll -rw-r--r-- 1097 2021-01-16 11:36 hevea-2.35/foot.mli -rw-r--r-- 3482 2021-01-16 11:36 hevea-2.35/foot.ml -rw-r--r-- 1977 2021-01-16 11:36 hevea-2.35/french-common.hva -rw-r--r-- 38 2021-01-16 11:36 hevea-2.35/text/french.hva -rw-r--r-- 2410 2021-01-16 11:36 hevea-2.35/german-common.hva -rw-r--r-- 110 2021-01-16 11:36 hevea-2.35/text/german.hva -rw-r--r-- 1270 2021-01-16 11:36 hevea-2.35/get.mli -rw-r--r-- 13779 2021-01-16 11:36 hevea-2.35/get.mll -rw-r--r-- 25 2021-01-16 11:36 hevea-2.35/.gitignore -rw-r--r-- 70 2021-01-16 11:36 hevea-2.35/examples/.gitignore -rw-r--r-- 85 2021-01-16 11:36 hevea-2.35/bugs/.gitignore -rw-r--r-- 1085 2021-01-16 11:36 hevea-2.35/examples/graphics.tex -rw-r--r-- 608 2021-01-16 11:36 hevea-2.35/examples/graphicx.tex -rw-r--r-- 1454 2021-01-16 11:36 hevea-2.35/bugs/008/greek.hva -rw-r--r-- 4837 2021-01-16 11:36 hevea-2.35/hacha.ml -rw-r--r-- 224 2021-01-16 11:36 hevea-2.35/handle402.sh -rw-r--r-- 501 2021-01-16 11:36 hevea-2.35/hanging.hva -rw-r--r-- 2332 2021-01-16 11:36 hevea-2.35/info/hevea.hva -rw-r--r-- 8138 2021-01-16 11:36 hevea-2.35/text/hevea.hva -rw-r--r-- 8274 2021-01-16 11:36 hevea-2.35/hevea.ml lrwxrwxrwx 0 2021-01-16 11:36 hevea-2.35/examples/hevea.sty -> ../hevea.sty -rw-r--r-- 3058 2021-01-16 11:36 hevea-2.35/hevea.sty -rw-r--r-- 3058 2021-01-16 11:36 hevea-2.35/bugs/009/hevea.sty -rw-r--r-- 26 2021-01-16 11:36 hevea-2.35/examples/HF.ps.bb -rw-r--r-- 462661 2021-01-16 11:36 hevea-2.35/examples/HF.ps.gz -rw-r--r-- 883 2021-01-16 11:36 hevea-2.35/hot.mli -rw-r--r-- 1440 2021-01-16 11:36 hevea-2.35/hot.ml -rw-r--r-- 2161 2021-01-16 11:36 hevea-2.35/examples/hp.c -rw-r--r-- 6566 2021-01-16 11:36 hevea-2.35/hrlang.hva -rw-r--r-- 47426 2021-01-16 11:36 hevea-2.35/htmlCommon.ml -rw-r--r-- 1051 2021-01-16 11:36 hevea-2.35/htmllex.mli -rw-r--r-- 10502 2021-01-16 11:36 hevea-2.35/htmllex.mll -rw-r--r-- 14607 2021-01-16 11:36 hevea-2.35/htmlMath.ml -rw-r--r-- 761 2021-01-16 11:36 hevea-2.35/html.mli -rw-r--r-- 21664 2021-01-16 11:36 hevea-2.35/html.ml -rw-r--r-- 1069 2021-01-16 11:36 hevea-2.35/htmlparse.mli -rw-r--r-- 4106 2021-01-16 11:36 hevea-2.35/htmlparse.ml -rw-r--r-- 1589 2021-01-16 11:36 hevea-2.35/htmltext.mli -rw-r--r-- 6166 2021-01-16 11:36 hevea-2.35/htmltext.ml -rw-r--r-- 2703 2021-01-16 11:36 hevea-2.35/hyperref.hva -rw-r--r-- 809 2021-01-16 11:36 hevea-2.35/hyphenat.hva -rw-r--r-- 69 2021-01-16 11:36 hevea-2.35/ifpdf.hva -rw-r--r-- 241 2021-01-16 11:36 hevea-2.35/ifthen.hva -rw-r--r-- 1057 2021-01-16 11:36 hevea-2.35/imageManager.mli -rw-r--r-- 997 2021-01-16 11:36 hevea-2.35/image.mli -rw-r--r-- 2432 2021-01-16 11:36 hevea-2.35/image.ml -rwxr-xr-x 2666 2021-01-16 11:36 hevea-2.35/imagen -rwxr-xr-x 2447 2021-01-16 11:36 hevea-2.35/imagen.std -rw-r--r-- 2299 2021-01-16 11:36 hevea-2.35/imakeidx.hva -rw-r--r-- 886 2021-01-16 11:36 hevea-2.35/examples/imp-math.tex -rw-r--r-- 670 2021-01-16 11:36 hevea-2.35/import.hva -rw-r--r-- 533 2021-01-16 11:36 hevea-2.35/index.hva -rw-r--r-- 1030 2021-01-16 11:36 hevea-2.35/index.mli -rw-r--r-- 10413 2021-01-16 11:36 hevea-2.35/index.ml -rw-r--r-- 4564 2021-01-16 11:36 hevea-2.35/examples/index.tex -rw-r--r-- 761 2021-01-16 11:36 hevea-2.35/info.mli -rw-r--r-- 4406 2021-01-16 11:36 hevea-2.35/info.ml -rw-r--r-- 11136 2021-01-16 11:36 hevea-2.35/infoRef.mll -rw-r--r-- 2583 2021-01-16 11:36 hevea-2.35/inputenc.hva -rwxr-xr-x 942 2021-01-16 11:36 hevea-2.35/install.sh -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-10.map -rw-r--r-- 3224 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-11.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-13.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-14.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-15.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-16.map -rw-r--r-- 3072 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-1.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-2.map -rw-r--r-- 3237 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-3.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-4.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-5.map -rw-r--r-- 2743 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-6.map -rw-r--r-- 3289 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-7.map -rw-r--r-- 2860 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-8.map -rw-r--r-- 3328 2021-01-16 11:36 hevea-2.35/mappings/ISO-8859-9.map -rw-r--r-- 535 2021-01-16 11:36 hevea-2.35/iso-html.hva -rw-r--r-- 29 2021-01-16 11:36 hevea-2.35/isolatin1.hva -rw-r--r-- 28650 2021-01-16 11:36 hevea-2.35/iso-symb.hva -rw-r--r-- 553 2021-01-16 11:36 hevea-2.35/iso-text.hva -rw-r--r-- 137 2021-01-16 11:36 hevea-2.35/keyval.hva -rw-r--r-- 3072 2021-01-16 11:36 hevea-2.35/mappings/KOI8-R.map -rw-r--r-- 772 2021-01-16 11:36 hevea-2.35/labeltype.hva -rw-r--r-- 28424 2021-01-16 11:36 hevea-2.35/latexcommon.hva -rw-r--r-- 2251 2021-01-16 11:36 hevea-2.35/latexmacros.mli -rw-r--r-- 8484 2021-01-16 11:36 hevea-2.35/latexmacros.ml -rw-r--r-- 2483 2021-01-16 11:36 hevea-2.35/latexscan.mli -rw-r--r-- 101397 2021-01-16 11:36 hevea-2.35/latexscan.mll -rw-r--r-- 571 2021-01-16 11:36 hevea-2.35/latexsym.hva -rw-r--r-- 1155 2021-01-16 11:36 hevea-2.35/length.mli -rw-r--r-- 3724 2021-01-16 11:36 hevea-2.35/length.mll -rw-r--r-- 954 2021-01-16 11:36 hevea-2.35/lexattr.mli -rw-r--r-- 619 2021-01-16 11:36 hevea-2.35/lexattr.mll -rw-r--r-- 1497 2021-01-16 11:36 hevea-2.35/lexeme.mli -rw-r--r-- 5141 2021-01-16 11:36 hevea-2.35/lexstate.mli -rw-r--r-- 21287 2021-01-16 11:36 hevea-2.35/lexstate.ml -rw-r--r-- 908 2021-01-16 11:36 hevea-2.35/lexstyle.mli -rw-r--r-- 4553 2021-01-16 11:36 hevea-2.35/lexstyle.mll -rw-r--r-- 1524 2021-01-16 11:36 hevea-2.35/libs.def -rw-r--r-- 325 2021-01-16 11:36 hevea-2.35/examples/lis2.tex -rw-r--r-- 4024 2021-01-16 11:36 hevea-2.35/examples/lis.tex -rw-r--r-- 33000 2021-01-16 11:36 hevea-2.35/listings.hva -rw-r--r-- 1844 2021-01-16 11:36 hevea-2.35/examples/listings.tex -rw-r--r-- 1157 2021-01-16 11:36 hevea-2.35/examples/list.tex -rw-r--r-- 1544 2021-01-16 11:36 hevea-2.35/bugs/009/livro.tex -rw-r--r-- 4003 2021-01-16 11:36 hevea-2.35/bugs/006/livro.tex -rw-r--r-- 1089 2021-01-16 11:36 hevea-2.35/location.mli -rw-r--r-- 3684 2021-01-16 11:36 hevea-2.35/location.ml -rw-r--r-- 2522 2021-01-16 11:36 hevea-2.35/longtable.hva -rw-r--r-- 21 2021-01-16 11:36 hevea-2.35/lstlang1.hva -rw-r--r-- 89800 2021-01-16 11:36 hevea-2.35/lstlang1.sty -rw-r--r-- 21 2021-01-16 11:36 hevea-2.35/lstlang2.hva -rw-r--r-- 80494 2021-01-16 11:36 hevea-2.35/lstlang2.sty -rw-r--r-- 21 2021-01-16 11:36 hevea-2.35/lstlang3.hva -rw-r--r-- 85201 2021-01-16 11:36 hevea-2.35/lstlang3.sty -rw-r--r-- 1510 2021-01-16 11:36 hevea-2.35/bugs/009/L.tex -rw-r--r-- 3072 2021-01-16 11:36 hevea-2.35/mappings/macintosh.map -rw-r--r-- 685 2021-01-16 11:36 hevea-2.35/bugs/011/macros.hva -rw-r--r-- 1464 2021-01-16 11:36 hevea-2.35/Makefile -rw-r--r-- 6188 2021-01-16 11:36 hevea-2.35/examples/Makefile -rw-r--r-- 718 2021-01-16 11:36 hevea-2.35/makeidx.hva -rw-r--r-- 291 2021-01-16 11:36 hevea-2.35/mathjax.sty -rw-r--r-- 15885 2021-01-16 11:36 hevea-2.35/mathML.ml -rw-r--r-- 0 2021-01-16 11:36 hevea-2.35/mathop.hva -rw-r--r-- 13835 2021-01-16 11:36 hevea-2.35/examples/mathpartir-test.tex -rw-r--r-- 2614 2021-01-16 11:36 hevea-2.35/misc.mli -rw-r--r-- 3705 2021-01-16 11:36 hevea-2.35/misc.ml -rw-r--r-- 551 2021-01-16 11:36 hevea-2.35/release/mktag.sh -rw-r--r-- 500 2021-01-16 11:36 hevea-2.35/moreverb.hva -rw-r--r-- 855 2021-01-16 11:36 hevea-2.35/examples/mp.tex -rw-r--r-- 10450 2021-01-16 11:36 hevea-2.35/bugs/004/msg.txt -rw-r--r-- 1141 2021-01-16 11:36 hevea-2.35/bugs/010/msg.txt -rw-r--r-- 2019 2021-01-16 11:36 hevea-2.35/bugs/007/msg.txt -rw-r--r-- 3775 2021-01-16 11:36 hevea-2.35/bugs/005/msg.txt -rw-r--r-- 605 2021-01-16 11:36 hevea-2.35/bugs/001/msg.txt -rw-r--r-- 590 2021-01-16 11:36 hevea-2.35/multibib.hva -rw-r--r-- 253 2021-01-16 11:36 hevea-2.35/multind.hva -rw-r--r-- 930 2021-01-16 11:36 hevea-2.35/myfiles.mli -rw-r--r-- 4530 2021-01-16 11:36 hevea-2.35/myfiles.ml -rw-r--r-- 875 2021-01-16 11:36 hevea-2.35/myLexing.mli -rw-r--r-- 2800 2021-01-16 11:36 hevea-2.35/myLexing.ml -rw-r--r-- 789 2021-01-16 11:36 hevea-2.35/mylib.mli -rw-r--r-- 850 2021-01-16 11:36 hevea-2.35/mylib.ml -rw-r--r-- 1496 2021-01-16 11:36 hevea-2.35/myStack.mli -rw-r--r-- 2234 2021-01-16 11:36 hevea-2.35/myStack.ml -rw-r--r-- 1002 2021-01-16 11:36 hevea-2.35/mysys.mli -rw-r--r-- 1865 2021-01-16 11:36 hevea-2.35/mysys.ml -rw-r--r-- 941 2021-01-16 11:36 hevea-2.35/examples/natbib.bib -rw-r--r-- 11807 2021-01-16 11:36 hevea-2.35/natbib-common.hva -rw-r--r-- 260 2021-01-16 11:36 hevea-2.35/text/natbib.hva -rw-r--r-- 38464 2021-01-16 11:36 hevea-2.35/examples/natbib.sty -rw-r--r-- 2322 2021-01-16 11:36 hevea-2.35/examples/natbib.tex -rw-r--r-- 317 2021-01-16 11:36 hevea-2.35/next_motif.gif -rw-r--r-- 190 2021-01-16 11:36 hevea-2.35/next_motif.svg -rw-r--r-- 997 2021-01-16 11:36 hevea-2.35/noimage.mli -rw-r--r-- 925 2021-01-16 11:36 hevea-2.35/noimage.ml -rwxr-xr-x 610 2021-01-16 11:36 hevea-2.35/ocb.sh -rw-r--r-- 4065 2021-01-16 11:36 hevea-2.35/outManager.mli -rw-r--r-- 757 2021-01-16 11:36 hevea-2.35/out.mli -rw-r--r-- 883 2021-01-16 11:36 hevea-2.35/out.ml -rw-r--r-- 3801 2021-01-16 11:36 hevea-2.35/outUnicode.mli -rw-r--r-- 20223 2021-01-16 11:36 hevea-2.35/outUnicode.ml -rw-r--r-- 910 2021-01-16 11:36 hevea-2.35/package.mli -rw-r--r-- 43241 2021-01-16 11:36 hevea-2.35/package.ml -rw-r--r-- 2639 2021-01-16 11:36 hevea-2.35/packages.hva -rw-r--r-- 1292 2021-01-16 11:36 hevea-2.35/parse_opts.mli -rw-r--r-- 6657 2021-01-16 11:36 hevea-2.35/parse_opts.ml -rw-r--r-- 21990 2021-01-16 11:36 hevea-2.35/examples/pat.def -rw-r--r-- 290 2021-01-16 11:36 hevea-2.35/examples/pat.hva -rw-r--r-- 53021 2021-01-16 11:36 hevea-2.35/examples/pat.tex -rw-r--r-- 973 2021-01-16 11:36 hevea-2.35/plain.hva -rw-r--r-- 1709 2021-01-16 11:36 hevea-2.35/portuguese.hva -rw-r--r-- 1143 2021-01-16 11:36 hevea-2.35/pp.mli -rw-r--r-- 4029 2021-01-16 11:36 hevea-2.35/pp.ml -rw-r--r-- 317 2021-01-16 11:36 hevea-2.35/previous_motif.gif -rw-r--r-- 185 2021-01-16 11:36 hevea-2.35/previous_motif.svg -rw-r--r-- 21 2021-01-16 11:36 hevea-2.35/program.hva -rw-r--r-- 1172 2021-01-16 11:36 hevea-2.35/pub.fra -rw-r--r-- 78 2021-01-16 11:36 hevea-2.35/pub -rw-r--r-- 438 2021-01-16 11:36 hevea-2.35/pub.txt -rw-r--r-- 517 2021-01-16 11:36 hevea-2.35/ragged2e.hva -rw-r--r-- 1332 2021-01-16 11:36 hevea-2.35/examples/random-math.tex -rw-r--r-- 2342 2021-01-16 11:36 hevea-2.35/release/release.sh -rw-r--r-- 16 2021-01-16 11:36 hevea-2.35/info/report.hva -rw-r--r-- 16 2021-01-16 11:36 hevea-2.35/text/report.hva -rw-r--r-- 2424 2021-01-16 11:36 hevea-2.35/save.mli -rw-r--r-- 11339 2021-01-16 11:36 hevea-2.35/save.mll -rw-r--r-- 366 2021-01-16 11:36 hevea-2.35/saver.mli -rw-r--r-- 3918 2021-01-16 11:36 hevea-2.35/saver.mll -rw-r--r-- 1996 2021-01-16 11:36 hevea-2.35/saveUtils.ml -rw-r--r-- 822 2021-01-16 11:36 hevea-2.35/section.mli -rw-r--r-- 2143 2021-01-16 11:36 hevea-2.35/section.ml -rw-r--r-- 1116 2021-01-16 11:36 hevea-2.35/text/seminar.hva -rw-r--r-- 1153 2021-01-16 11:36 hevea-2.35/info/seminar.hva -rw-r--r-- 1125 2021-01-16 11:36 hevea-2.35/seminar.sty -rw-r--r-- 1653 2021-01-16 11:36 hevea-2.35/simpleRope.mli -rw-r--r-- 6598 2021-01-16 11:36 hevea-2.35/simpleRope.ml -rw-r--r-- 113 2021-01-16 11:36 hevea-2.35/examples/smile.hva -rw-r--r-- 202 2021-01-16 11:36 hevea-2.35/examples/smile.tex -rw-r--r-- 969 2021-01-16 11:36 hevea-2.35/spaces.hva -rw-r--r-- 3628 2021-01-16 11:36 hevea-2.35/examples/st.hva -rw-r--r-- 9892 2021-01-16 11:36 hevea-2.35/examples/style-test.tex -rw-r--r-- 1358 2021-01-16 11:36 hevea-2.35/subst.mli -rw-r--r-- 4975 2021-01-16 11:36 hevea-2.35/subst.mll -rw-r--r-- 1016 2021-01-16 11:36 hevea-2.35/substVar.mli -rw-r--r-- 1132 2021-01-16 11:36 hevea-2.35/substVar.mll -rw-r--r-- 538 2021-01-16 11:36 hevea-2.35/examples/suite-macros.hva -rw-r--r-- 0 2021-01-16 11:36 hevea-2.35/examples/suite-macros.sty -rw-r--r-- 34702 2021-01-16 11:36 hevea-2.35/examples/suite.tex -rw-r--r-- 1232 2021-01-16 11:36 hevea-2.35/supertabular.hva -rw-r--r-- 7281 2021-01-16 11:36 hevea-2.35/examples/sym-test.tex -rw-r--r-- 35813 2021-01-16 11:36 hevea-2.35/examples/sym.tex -rw-r--r-- 1007 2021-01-16 11:36 hevea-2.35/table.mli -rw-r--r-- 1620 2021-01-16 11:36 hevea-2.35/table.ml -rw-r--r-- 1211 2021-01-16 11:36 hevea-2.35/tabular.mli -rw-r--r-- 6897 2021-01-16 11:36 hevea-2.35/tabular.mll -rw-r--r-- 826 2021-01-16 11:36 hevea-2.35/tagout.mli -rw-r--r-- 1482 2021-01-16 11:36 hevea-2.35/tagout.mll -rw-r--r-- 71 2021-01-16 11:36 hevea-2.35/_tags -rw-r--r-- 181 2021-01-16 11:36 hevea-2.35/examples/testsccal.tex -rw-r--r-- 844 2021-01-16 11:36 hevea-2.35/examples/test.tex -rw-r--r-- 6374 2021-01-16 11:36 hevea-2.35/examples/textcomp-ex.tex -rw-r--r-- 3531 2021-01-16 11:36 hevea-2.35/textcomp.hva -rw-r--r-- 761 2021-01-16 11:36 hevea-2.35/text.mli -rw-r--r-- 51189 2021-01-16 11:36 hevea-2.35/text.ml -rw-r--r-- 27 2021-01-16 11:36 hevea-2.35/thai.hva -rw-r--r-- 82 2021-01-16 11:36 hevea-2.35/theorem.hva -rw-r--r-- 984 2021-01-16 11:36 hevea-2.35/thread.mli -rw-r--r-- 1302 2021-01-16 11:36 hevea-2.35/thread.ml -rw-r--r-- 939 2021-01-16 11:36 hevea-2.35/tree.mli -rw-r--r-- 7979 2021-01-16 11:36 hevea-2.35/examples/trouble.tex -rw-r--r-- 106 2021-01-16 11:36 hevea-2.35/bugs/012/txt.tex -rw-r--r-- 393 2021-01-16 11:36 hevea-2.35/bugs/011/txt.tex -rw-r--r-- 874 2021-01-16 11:36 hevea-2.35/ultra.mli -rw-r--r-- 14097 2021-01-16 11:36 hevea-2.35/ultra.ml -rw-r--r-- 16 2021-01-16 11:36 hevea-2.35/underscore.hva -rw-r--r-- 291 2021-01-16 11:36 hevea-2.35/url.hva -rw-r--r-- 924 2021-01-16 11:36 hevea-2.35/url.mli -rw-r--r-- 2875 2021-01-16 11:36 hevea-2.35/url.mll -rw-r--r-- 1664 2021-01-16 11:36 hevea-2.35/mappings/US-ASCII.map -rw-r--r-- 1533 2021-01-16 11:36 hevea-2.35/util.mli -rw-r--r-- 2086 2021-01-16 11:36 hevea-2.35/util.ml -rw-r--r-- 197 2021-01-16 11:36 hevea-2.35/verbatim.hva -rw-r--r-- 943 2021-01-16 11:36 hevea-2.35/verb.mli -rw-r--r-- 53451 2021-01-16 11:36 hevea-2.35/verb.mll -rw-r--r-- 1469 2021-01-16 11:36 hevea-2.35/examples/verbs.tex -rw-r--r-- 763 2021-01-16 11:36 hevea-2.35/version.mli -rw-r--r-- 937 2021-01-16 11:36 hevea-2.35/version.ml -rw-r--r-- 1065 2021-01-16 11:36 hevea-2.35/videoc.mli -rw-r--r-- 14668 2021-01-16 11:36 hevea-2.35/videoc.mll -rw-r--r-- 3012 2021-01-16 11:36 hevea-2.35/mappings/windows-1250.map -rw-r--r-- 3060 2021-01-16 11:36 hevea-2.35/mappings/windows-1251.map -rw-r--r-- 3012 2021-01-16 11:36 hevea-2.35/mappings/windows-1252.map -rw-r--r-- 2928 2021-01-16 11:36 hevea-2.35/mappings/windows-1257.map -rw-r--r-- 5959 2021-01-16 11:36 hevea-2.35/winfonts.hva -rw-r--r-- 319 2021-01-16 11:36 hevea-2.35/winstyles.hva -rw-r--r-- 46 2021-01-16 11:36 hevea-2.35/xspace.hva -rwxr-xr-x 56 2021-01-16 11:36 hevea-2.35/xxcharset.exe -rwxr-xr-x 726 2021-01-16 11:36 hevea-2.35/xxdate.exe -rw-r--r-- 1168 2021-01-16 11:36 hevea-2.35/zyva.mli -rw-r--r-- 1153 2021-01-16 11:36 hevea-2.35/zyva.ml -rw-r--r-- 20 2021-01-16 11:36 hevea-2.35/bugs/012/zyva.sh -rw-r--r-- 37 2021-01-16 11:36 hevea-2.35/bugs/011/zyva.sh -rw-r--r-- 44 2021-01-16 11:36 hevea-2.35/bugs/010/zyva.sh
MD5 (hevea-2.35.tar.gz): 5a60fd6ec9c650f16dabf029961a296b SHA1 (hevea-2.35.tar.gz): 781f6ae8b3d9ccf6ecf6d5e05ed6bf6ff10d6f2f SHA256 (hevea-2.35.tar.gz): f189bada5d3e5b35855dfdfdb5b270c994fc7a2366b01250d761359ad66c9ecb