"Fossies" - the Fresh Open Source Software Archive

Contents of hevea-2.35.tar.gz (16 Jan 11:36, 1006773 Bytes)

About: HEVEA is a LaTeX to HTML translator (requires OCaml).



Fossies downloads: /linux/wwwhevea-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

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  Codespell  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)