"Fossies" - the Fresh Open Source Software Archive

Contents of hevea-2.32.tar.gz (4 Jul 15:19, 996925 Bytes)

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



Fossies download: /linux/wwwhevea-2.32.tar.gz  (tar.bz2|tar.xz|zip)
Original URL: http://para.inria.fr/~maranget/hevea/distri/hevea-2.32.tar.gz
Fossies services: Diffs report | CLOC analysis
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--  33231 2018-07-04 15:20 CHANGES
-rw-r--r--  30867 2018-07-04 15:20 LICENSE
-rw-r--r--   3995 2018-07-04 15:20 README
-rw-r--r--    235 2018-07-04 15:20 release/README

Basic docs (manual pages, PDF-,HTML-,/doc/-files, ...):
-rw-r--r--    312 2018-07-04 15:20 html/amsfonts.hva
-rw-r--r--  21102 2018-07-04 15:20 html/amssymb.hva
-rw-r--r--    976 2018-07-04 15:20 html/article.hva
-rw-r--r--    415 2018-07-04 15:20 html/austrian.hva
-rw-r--r--   1103 2018-07-04 15:20 html/book.hva
-rw-r--r--   5007 2018-07-04 15:20 html/color.hva
-rw-r--r--     41 2018-07-04 15:20 html/colortbl.hva
-rw-r--r--    812 2018-07-04 15:20 html/commongraphic.hva
-rw-r--r--  14418 2018-07-04 15:20 html/common-math.hva
-rw-r--r--   3085 2018-07-04 15:20 html/fancysection.hva
-rw-r--r--   4642 2018-07-04 15:20 html/fancyvrb.hva
-rw-r--r--   1968 2018-07-04 15:20 html/french.hva
-rw-r--r--    389 2018-07-04 15:20 html/german.hva
-rw-r--r--     56 2018-07-04 15:20 html/gif.hva
-rw-r--r--    346 2018-07-04 15:20 html/graphics.hva
-rw-r--r--    367 2018-07-04 15:20 html/graphicx.hva
-rw-r--r--  27454 2018-07-04 15:20 html/hevea.hva
-rw-r--r--     27 2018-07-04 15:20 html/mathjaxauto.hva
-rw-r--r--   1332 2018-07-04 15:20 html/mathjax.hva
-rw-r--r--   7171 2018-07-04 15:20 html/mathpartir.hva
-rw-r--r--    516 2018-07-04 15:20 html/natbib.hva
-rw-r--r--     56 2018-07-04 15:20 html/png.hva
-rw-r--r--     16 2018-07-04 15:20 html/report.hva
-rw-r--r--   1407 2018-07-04 15:20 html/seminar.hva
-rw-r--r--    369 2018-07-04 15:20 html/svg.hva
-rw-r--r--    166 2018-07-04 15:20 html/sword.hva
-rw-r--r--      0 2018-07-04 15:20 html/symb-eng.hva
-rw-r--r--   1480 2018-07-04 15:20 html/symb-ent.hva
-rw-r--r--   1259 2018-07-04 15:20 html/symb-fra.hva
-rw-r--r--  10092 2018-07-04 15:20 html/symb-mathml.hva
-rw-r--r--     26 2018-07-04 15:20 html/symb-text.hva
-rw-r--r--   2590 2018-07-04 15:20 html/undersection.hva
-rw-r--r--    160 2018-07-04 15:20 html/urlhref.hva
-rw-r--r--    404 2018-07-04 15:20 html/xypic.hva

All other files:
-rw-r--r--    873 2018-07-04 15:20 examples/acc.tex
-rw-r--r--     37 2018-07-04 15:20 alltt.hva
-rw-r--r--  11098 2018-07-04 15:20 amsmath.hva
-rw-r--r--   8043 2018-07-04 15:20 examples/amssymb-test.tex
-rw-r--r--   4592 2018-07-04 15:20 examples/amstex.tex
-rw-r--r--   1611 2018-07-04 15:20 articlecommon.hva
-rw-r--r--    612 2018-07-04 15:20 info/article.hva
-rw-r--r--    847 2018-07-04 15:20 text/article.hva
-rw-r--r--    113 2018-07-04 15:20 bugs/001/a.tex
-rw-r--r--    164 2018-07-04 15:20 bugs/003/a.tex
-rw-r--r--    196 2018-07-04 15:20 bugs/004/a.tex
-rw-r--r--    221 2018-07-04 15:20 bugs/010/a.tex
-rw-r--r--    243 2018-07-04 15:20 bugs/002/a.tex
-rw-r--r--   2910 2018-07-04 15:20 bugs/005/a.tex
-rw-r--r--    400 2018-07-04 15:20 bugs/007/a.tex
-rw-r--r--   4565 2018-07-04 15:20 examples/a.tex
-rw-r--r--    118 2018-07-04 15:20 text/austrian.hva
-rw-r--r--   1257 2018-07-04 15:20 auxx.mli
-rw-r--r--   6549 2018-07-04 15:20 auxx.ml
-rw-r--r--   7323 2018-07-04 15:20 babel.hva
-rw-r--r--   2088 2018-07-04 15:20 examples/babel.tex
-rw-r--r--  12379 2018-07-04 15:20 examples/bib.bib
-rw-r--r--   3313 2018-07-04 15:20 bibhva.ml
-rw-r--r--   1926 2018-07-04 15:20 bookcommon.hva
-rw-r--r--    609 2018-07-04 15:20 info/book.hva
-rw-r--r--    967 2018-07-04 15:20 text/book.hva
-rw-r--r--    717 2018-07-04 15:20 booktabs.hva
-rw-r--r--    543 2018-07-04 15:20 examples/boxmodel.tex
-rw-r--r--    285 2018-07-04 15:20 bytes.mlip
-rw-r--r--    154 2018-07-04 15:20 bytes.mlp
-rw-r--r--    882 2018-07-04 15:20 examples/cart-bis.tex
-rw-r--r--    888 2018-07-04 15:20 examples/cart-ter.tex
-rw-r--r--    856 2018-07-04 15:20 examples/cart.tex
-rw-r--r--    827 2018-07-04 15:20 examples/cbook.tex
-rw-r--r--  59621 2018-07-04 15:20 bugs/008/Chapter_6.tex
-rw-r--r--   6614 2018-07-04 15:20 bugs/008/Chapter_7.tex
-rw-r--r--   1039 2018-07-04 15:20 chapterbib.hva
-rw-r--r--    118 2018-07-04 15:20 check402.ml
-rw-r--r--    422 2018-07-04 15:20 check.sh
-rw-r--r--    389 2018-07-04 15:20 chngcntr.hva
-rw-r--r--   6507 2018-07-04 15:20 cleveref.hva
-rw-r--r--   2254 2018-07-04 15:20 examples/colorcir.eps
-rw-r--r--    200 2018-07-04 15:20 text/color.hva
-rw-r--r--   1115 2018-07-04 15:20 color.mli
-rw-r--r--   4498 2018-07-04 15:20 color.ml
-rw-r--r--    106 2018-07-04 15:20 text/colortbl.hva
-rw-r--r--    982 2018-07-04 15:20 colscan.mli
-rw-r--r--   1448 2018-07-04 15:20 colscan.mll
-rw-r--r--    773 2018-07-04 15:20 comment.hva
-rw-r--r--    182 2018-07-04 15:20 compat.hva
-rw-r--r--     51 2018-07-04 15:20 release/config.sh
-rw-r--r--    316 2018-07-04 15:20 contents_motif.gif
-rw-r--r--    185 2018-07-04 15:20 contents_motif.svg
-rw-r--r--   1088 2018-07-04 15:20 counter.mli
-rw-r--r--   4493 2018-07-04 15:20 counter.ml
-rw-r--r--   1013 2018-07-04 15:20 count.mli
-rw-r--r--   1123 2018-07-04 15:20 count.ml
-rw-r--r-- 139965 2018-07-04 15:20 crlang.hva
-rw-r--r--   1204 2018-07-04 15:20 cross.mli
-rw-r--r--   2253 2018-07-04 15:20 cross.ml
-rw-r--r--    887 2018-07-04 15:20 css.mli
-rw-r--r--   1299 2018-07-04 15:20 cut.mli
-rw-r--r--  25537 2018-07-04 15:20 cut.mll
-rw-r--r--   1241 2018-07-04 15:20 cutOut.mli
-rw-r--r--   1661 2018-07-04 15:20 cutOut.ml
-rw-r--r--   1504 2018-07-04 15:20 czech.hva
-rw-r--r--   2243 2018-07-04 15:20 deepcut.hva
-rw-r--r--  12177 2018-07-04 15:20 .depend
-rw-r--r--    615 2018-07-04 15:20 examples/di.tex
-rw-r--r--   1664 2018-07-04 15:20 doOut.mli
-rw-r--r--   9230 2018-07-04 15:20 doOut.ml
-rw-r--r--    876 2018-07-04 15:20 element.mli
-rw-r--r--   1053 2018-07-04 15:20 element.ml
-rw-r--r--   1115 2018-07-04 15:20 emisc.mli
-rw-r--r--   1095 2018-07-04 15:20 emisc.ml
-rw-r--r--    941 2018-07-04 15:20 english.hva
-rw-r--r--    918 2018-07-04 15:20 entry.mli
-rw-r--r--   2478 2018-07-04 15:20 entry.mll
-rw-r--r--    256 2018-07-04 15:20 examples/env.hva
-rw-r--r--   2138 2018-07-04 15:20 examples/env.tex
-rw-r--r--    102 2018-07-04 15:20 epsfig.hva
-rw-r--r--    982 2018-07-04 15:20 esp.mli
-rw-r--r--   7286 2018-07-04 15:20 esp.ml
-rw-r--r--   1927 2018-07-04 15:20 esponja.ml
-rw-r--r--    556 2018-07-04 15:20 eurosym.hva
-rw-r--r--   2776 2018-07-04 15:20 examples/exlst.tex
-rwxr-xr-x     67 2018-07-04 15:20 expandlib.sh
-rw-r--r--    882 2018-07-04 15:20 explode.mli
-rw-r--r--   1773 2018-07-04 15:20 explode.ml
-rw-r--r--     18 2018-07-04 15:20 text/fancysection.hva
-rw-r--r--   9152 2018-07-04 15:20 examples/fancy-test.tex
-rw-r--r--   2471 2018-07-04 15:20 figcut.hva
-rw-r--r--    257 2018-07-04 15:20 fmt_map.mll
-rw-r--r--   1097 2018-07-04 15:20 foot.mli
-rw-r--r--   3482 2018-07-04 15:20 foot.ml
-rw-r--r--   1977 2018-07-04 15:20 french-common.hva
-rw-r--r--     38 2018-07-04 15:20 text/french.hva
-rw-r--r--   2410 2018-07-04 15:20 german-common.hva
-rw-r--r--    110 2018-07-04 15:20 text/german.hva
-rw-r--r--   1270 2018-07-04 15:20 get.mli
-rw-r--r--  13779 2018-07-04 15:20 get.mll
-rw-r--r--   1085 2018-07-04 15:20 examples/graphics.tex
-rw-r--r--    608 2018-07-04 15:20 examples/graphicx.tex
-rw-r--r--   1454 2018-07-04 15:20 bugs/008/greek.hva
-rw-r--r--   4525 2018-07-04 15:20 hacha.ml
-rw-r--r--    224 2018-07-04 15:20 handle402.sh
-rw-r--r--    501 2018-07-04 15:20 hanging.hva
-rw-r--r--   2332 2018-07-04 15:20 info/hevea.hva
-rw-r--r--   7092 2018-07-04 15:20 text/hevea.hva
-rw-r--r--   8078 2018-07-04 15:20 hevea.ml
-rw-r--r--   3058 2018-07-04 15:20 hevea.sty
-rw-r--r--   3058 2018-07-04 15:20 bugs/009/hevea.sty
-rw-r--r--   3058 2018-07-04 15:20 examples/hevea.sty
-rw-r--r--     26 2018-07-04 15:20 examples/HF.ps.bb
-rw-r--r-- 462661 2018-07-04 15:20 examples/HF.ps.gz
-rw-r--r--    883 2018-07-04 15:20 hot.mli
-rw-r--r--   1440 2018-07-04 15:20 hot.ml
-rw-r--r--   2161 2018-07-04 15:20 examples/hp.c
-rw-r--r--   6566 2018-07-04 15:20 hrlang.hva
-rw-r--r--  47373 2018-07-04 15:20 htmlCommon.ml
-rw-r--r--   1051 2018-07-04 15:20 htmllex.mli
-rw-r--r--  10610 2018-07-04 15:20 htmllex.mll
-rw-r--r--  14606 2018-07-04 15:20 htmlMath.ml
-rw-r--r--    761 2018-07-04 15:20 html.mli
-rw-r--r--  18238 2018-07-04 15:20 html.ml
-rw-r--r--   1069 2018-07-04 15:20 htmlparse.mli
-rw-r--r--   4106 2018-07-04 15:20 htmlparse.ml
-rw-r--r--   1589 2018-07-04 15:20 htmltext.mli
-rw-r--r--   6166 2018-07-04 15:20 htmltext.ml
-rw-r--r--   2319 2018-07-04 15:20 hyperref.hva
-rw-r--r--     69 2018-07-04 15:20 ifpdf.hva
-rw-r--r--    241 2018-07-04 15:20 ifthen.hva
-rw-r--r--   1057 2018-07-04 15:20 imageManager.mli
-rw-r--r--    997 2018-07-04 15:20 image.mli
-rw-r--r--   2432 2018-07-04 15:20 image.ml
-rwxr-xr-x   2666 2018-07-04 15:20 imagen
-rwxr-xr-x   2447 2018-07-04 15:20 imagen.std
-rw-r--r--    886 2018-07-04 15:20 examples/imp-math.tex
-rw-r--r--    670 2018-07-04 15:20 import.hva
-rw-r--r--    533 2018-07-04 15:20 index.hva
-rw-r--r--   1030 2018-07-04 15:20 index.mli
-rw-r--r--  10278 2018-07-04 15:20 index.ml
-rw-r--r--   4509 2018-07-04 15:20 examples/index.tex
-rw-r--r--    761 2018-07-04 15:20 info.mli
-rw-r--r--   4402 2018-07-04 15:20 info.ml
-rw-r--r--  11136 2018-07-04 15:20 infoRef.mll
-rw-r--r--   2583 2018-07-04 15:20 inputenc.hva
-rwxr-xr-x    942 2018-07-04 15:20 install.sh
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-10.map
-rw-r--r--   3224 2018-07-04 15:20 mappings/ISO-8859-11.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-13.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-14.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-15.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-16.map
-rw-r--r--   3072 2018-07-04 15:20 mappings/ISO-8859-1.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-2.map
-rw-r--r--   3237 2018-07-04 15:20 mappings/ISO-8859-3.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-4.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-5.map
-rw-r--r--   2743 2018-07-04 15:20 mappings/ISO-8859-6.map
-rw-r--r--   3289 2018-07-04 15:20 mappings/ISO-8859-7.map
-rw-r--r--   2860 2018-07-04 15:20 mappings/ISO-8859-8.map
-rw-r--r--   3328 2018-07-04 15:20 mappings/ISO-8859-9.map
-rw-r--r--    535 2018-07-04 15:20 iso-html.hva
-rw-r--r--     29 2018-07-04 15:20 isolatin1.hva
-rw-r--r--  28706 2018-07-04 15:20 iso-symb.hva
-rw-r--r--    553 2018-07-04 15:20 iso-text.hva
-rw-r--r--    137 2018-07-04 15:20 keyval.hva
-rw-r--r--   3072 2018-07-04 15:20 mappings/KOI8-R.map
-rw-r--r--    772 2018-07-04 15:20 labeltype.hva
-rw-r--r--  26030 2018-07-04 15:20 latexcommon.hva
-rw-r--r--   2251 2018-07-04 15:20 latexmacros.mli
-rw-r--r--   8483 2018-07-04 15:20 latexmacros.ml
-rw-r--r--   2483 2018-07-04 15:20 latexscan.mli
-rw-r--r--  99709 2018-07-04 15:20 latexscan.mll
-rw-r--r--    571 2018-07-04 15:20 latexsym.hva
-rw-r--r--   1049 2018-07-04 15:20 length.mli
-rw-r--r--   2436 2018-07-04 15:20 length.mll
-rw-r--r--    954 2018-07-04 15:20 lexattr.mli
-rw-r--r--    619 2018-07-04 15:20 lexattr.mll
-rw-r--r--   1497 2018-07-04 15:20 lexeme.mli
-rw-r--r--   5141 2018-07-04 15:20 lexstate.mli
-rw-r--r--  21287 2018-07-04 15:20 lexstate.ml
-rw-r--r--    908 2018-07-04 15:20 lexstyle.mli
-rw-r--r--   4553 2018-07-04 15:20 lexstyle.mll
-rw-r--r--   1489 2018-07-04 15:20 libs.def
-rw-r--r--    325 2018-07-04 15:20 examples/lis2.tex
-rw-r--r--   4024 2018-07-04 15:20 examples/lis.tex
-rw-r--r--  33000 2018-07-04 15:20 listings.hva
-rw-r--r--   1844 2018-07-04 15:20 examples/listings.tex
-rw-r--r--   1157 2018-07-04 15:20 examples/list.tex
-rw-r--r--   1544 2018-07-04 15:20 bugs/009/livro.tex
-rw-r--r--   4003 2018-07-04 15:20 bugs/006/livro.tex
-rw-r--r--   1089 2018-07-04 15:20 location.mli
-rw-r--r--   3684 2018-07-04 15:20 location.ml
-rw-r--r--   2522 2018-07-04 15:20 longtable.hva
-rw-r--r--     21 2018-07-04 15:20 lstlang1.hva
-rw-r--r--  89800 2018-07-04 15:20 lstlang1.sty
-rw-r--r--     21 2018-07-04 15:20 lstlang2.hva
-rw-r--r--  80494 2018-07-04 15:20 lstlang2.sty
-rw-r--r--     21 2018-07-04 15:20 lstlang3.hva
-rw-r--r--  85201 2018-07-04 15:20 lstlang3.sty
-rw-r--r--   1510 2018-07-04 15:20 bugs/009/L.tex
-rw-r--r--   3072 2018-07-04 15:20 mappings/macintosh.map
-rw-r--r--   1458 2018-07-04 15:20 Makefile
-rw-r--r--   6012 2018-07-04 15:20 examples/Makefile
-rw-r--r--    676 2018-07-04 15:20 makeidx.hva
-rw-r--r--    291 2018-07-04 15:20 mathjax.sty
-rw-r--r--  15885 2018-07-04 15:20 mathML.ml
-rw-r--r--      0 2018-07-04 15:20 mathop.hva
-rw-r--r--  13835 2018-07-04 15:20 examples/mathpartir-test.tex
-rw-r--r--   2496 2018-07-04 15:20 misc.mli
-rw-r--r--   3584 2018-07-04 15:20 misc.ml
-rw-r--r--    551 2018-07-04 15:20 release/mktag.sh
-rw-r--r--    500 2018-07-04 15:20 moreverb.hva
-rw-r--r--    855 2018-07-04 15:20 examples/mp.tex
-rw-r--r--  10450 2018-07-04 15:20 bugs/004/msg.txt
-rw-r--r--   1141 2018-07-04 15:20 bugs/010/msg.txt
-rw-r--r--   2019 2018-07-04 15:20 bugs/007/msg.txt
-rw-r--r--   3775 2018-07-04 15:20 bugs/005/msg.txt
-rw-r--r--    605 2018-07-04 15:20 bugs/001/msg.txt
-rw-r--r--    590 2018-07-04 15:20 multibib.hva
-rw-r--r--    253 2018-07-04 15:20 multind.hva
-rw-r--r--    930 2018-07-04 15:20 myfiles.mli
-rw-r--r--   4530 2018-07-04 15:20 myfiles.ml
-rw-r--r--    875 2018-07-04 15:20 myLexing.mli
-rw-r--r--   2800 2018-07-04 15:20 myLexing.ml
-rw-r--r--    789 2018-07-04 15:20 mylib.mli
-rw-r--r--    850 2018-07-04 15:20 mylib.ml
-rw-r--r--   1496 2018-07-04 15:20 myStack.mli
-rw-r--r--   2234 2018-07-04 15:20 myStack.ml
-rw-r--r--   1002 2018-07-04 15:20 mysys.mli
-rw-r--r--   1865 2018-07-04 15:20 mysys.ml
-rw-r--r--    941 2018-07-04 15:20 examples/natbib.bib
-rw-r--r--  11807 2018-07-04 15:20 natbib-common.hva
-rw-r--r--    260 2018-07-04 15:20 text/natbib.hva
-rw-r--r--  38464 2018-07-04 15:20 examples/natbib.sty
-rw-r--r--   2322 2018-07-04 15:20 examples/natbib.tex
-rw-r--r--    317 2018-07-04 15:20 next_motif.gif
-rw-r--r--    190 2018-07-04 15:20 next_motif.svg
-rw-r--r--    997 2018-07-04 15:20 noimage.mli
-rw-r--r--    925 2018-07-04 15:20 noimage.ml
-rwxr-xr-x    610 2018-07-04 15:20 ocb.sh
-rw-r--r--   4013 2018-07-04 15:20 outManager.mli
-rw-r--r--    757 2018-07-04 15:20 out.mli
-rw-r--r--    883 2018-07-04 15:20 out.ml
-rw-r--r--   2924 2018-07-04 15:20 outUnicode.mli
-rw-r--r--  18845 2018-07-04 15:20 outUnicode.ml
-rw-r--r--    928 2018-07-04 15:20 package.mli
-rw-r--r--  41468 2018-07-04 15:20 package.ml
-rw-r--r--   2445 2018-07-04 15:20 packages.hva
-rw-r--r--   1292 2018-07-04 15:20 parse_opts.mli
-rw-r--r--   5989 2018-07-04 15:20 parse_opts.ml
-rw-r--r--  21990 2018-07-04 15:20 examples/pat.def
-rw-r--r--    290 2018-07-04 15:20 examples/pat.hva
-rw-r--r--  53021 2018-07-04 15:20 examples/pat.tex
-rw-r--r--    973 2018-07-04 15:20 plain.hva
-rw-r--r--   1709 2018-07-04 15:20 portuguese.hva
-rw-r--r--   1143 2018-07-04 15:20 pp.mli
-rw-r--r--   4029 2018-07-04 15:20 pp.ml
-rw-r--r--    317 2018-07-04 15:20 previous_motif.gif
-rw-r--r--    185 2018-07-04 15:20 previous_motif.svg
-rw-r--r--     21 2018-07-04 15:20 program.hva
-rw-r--r--   1172 2018-07-04 15:20 pub.fra
-rw-r--r--     78 2018-07-04 15:20 pub
-rw-r--r--    438 2018-07-04 15:20 pub.txt
-rw-r--r--    267 2018-07-04 15:20 ragged2e.hva
-rw-r--r--   1332 2018-07-04 15:20 examples/random-math.tex
-rw-r--r--   2342 2018-07-04 15:20 release/release.sh
-rw-r--r--     16 2018-07-04 15:20 info/report.hva
-rw-r--r--     16 2018-07-04 15:20 text/report.hva
-rw-r--r--   2424 2018-07-04 15:20 save.mli
-rw-r--r--  11339 2018-07-04 15:20 save.mll
-rw-r--r--    366 2018-07-04 15:20 saver.mli
-rw-r--r--   3918 2018-07-04 15:20 saver.mll
-rw-r--r--   1996 2018-07-04 15:20 saveUtils.ml
-rw-r--r--    822 2018-07-04 15:20 section.mli
-rw-r--r--   2143 2018-07-04 15:20 section.ml
-rw-r--r--   1116 2018-07-04 15:20 text/seminar.hva
-rw-r--r--   1153 2018-07-04 15:20 info/seminar.hva
-rw-r--r--   1125 2018-07-04 15:20 seminar.sty
-rw-r--r--   1653 2018-07-04 15:20 simpleRope.mli
-rw-r--r--   6598 2018-07-04 15:20 simpleRope.ml
-rw-r--r--    113 2018-07-04 15:20 examples/smile.hva
-rw-r--r--    202 2018-07-04 15:20 examples/smile.tex
-rw-r--r--    468 2018-07-04 15:20 spaces.hva
-rw-r--r--   3628 2018-07-04 15:20 examples/st.hva
-rw-r--r--   9892 2018-07-04 15:20 examples/style-test.tex
-rw-r--r--   1358 2018-07-04 15:20 subst.mli
-rw-r--r--   4975 2018-07-04 15:20 subst.mll
-rw-r--r--    538 2018-07-04 15:20 examples/suite-macros.hva
-rw-r--r--      0 2018-07-04 15:20 examples/suite-macros.sty
-rw-r--r--  34702 2018-07-04 15:20 examples/suite.tex
-rw-r--r--   1232 2018-07-04 15:20 supertabular.hva
-rw-r--r--   7281 2018-07-04 15:20 examples/sym-test.tex
-rw-r--r--  35813 2018-07-04 15:20 examples/sym.tex
-rw-r--r--   1007 2018-07-04 15:20 table.mli
-rw-r--r--   1620 2018-07-04 15:20 table.ml
-rw-r--r--   1211 2018-07-04 15:20 tabular.mli
-rw-r--r--   6889 2018-07-04 15:20 tabular.mll
-rw-r--r--    826 2018-07-04 15:20 tagout.mli
-rw-r--r--   1482 2018-07-04 15:20 tagout.mll
-rw-r--r--     71 2018-07-04 15:20 _tags
-rw-r--r--    181 2018-07-04 15:20 examples/testsccal.tex
-rw-r--r--    844 2018-07-04 15:20 examples/test.tex
-rw-r--r--   6374 2018-07-04 15:20 examples/textcomp-ex.tex
-rw-r--r--   3531 2018-07-04 15:20 textcomp.hva
-rw-r--r--    761 2018-07-04 15:20 text.mli
-rw-r--r--  50733 2018-07-04 15:20 text.ml
-rw-r--r--     27 2018-07-04 15:20 thai.hva
-rw-r--r--     82 2018-07-04 15:20 theorem.hva
-rw-r--r--    984 2018-07-04 15:20 thread.mli
-rw-r--r--   1302 2018-07-04 15:20 thread.ml
-rw-r--r--    939 2018-07-04 15:20 tree.mli
-rw-r--r--   7979 2018-07-04 15:20 examples/trouble.tex
-rw-r--r--    874 2018-07-04 15:20 ultra.mli
-rw-r--r--  14096 2018-07-04 15:20 ultra.ml
-rw-r--r--     16 2018-07-04 15:20 underscore.hva
-rw-r--r--    291 2018-07-04 15:20 url.hva
-rw-r--r--    924 2018-07-04 15:20 url.mli
-rw-r--r--   2875 2018-07-04 15:20 url.mll
-rw-r--r--   1664 2018-07-04 15:20 mappings/US-ASCII.map
-rw-r--r--   1533 2018-07-04 15:20 util.mli
-rw-r--r--   2086 2018-07-04 15:20 util.ml
-rw-r--r--    197 2018-07-04 15:20 verbatim.hva
-rw-r--r--    962 2018-07-04 15:20 verb.mli
-rw-r--r--  53419 2018-07-04 15:20 verb.mll
-rw-r--r--   1469 2018-07-04 15:20 examples/verbs.tex
-rw-r--r--    763 2018-07-04 15:20 version.mli
-rw-r--r--    938 2018-07-04 15:20 version.ml
-rw-r--r--   1088 2018-07-04 15:20 videoc.mli
-rw-r--r--  14651 2018-07-04 15:20 videoc.mll
-rw-r--r--   3012 2018-07-04 15:20 mappings/windows-1250.map
-rw-r--r--   3060 2018-07-04 15:20 mappings/windows-1251.map
-rw-r--r--   3012 2018-07-04 15:20 mappings/windows-1252.map
-rw-r--r--   2928 2018-07-04 15:20 mappings/windows-1257.map
-rw-r--r--   5921 2018-07-04 15:20 winfonts.hva
-rw-r--r--    319 2018-07-04 15:20 winstyles.hva
-rw-r--r--     46 2018-07-04 15:20 xspace.hva
-rwxr-xr-x     56 2018-07-04 15:20 xxcharset.exe
-rwxr-xr-x    726 2018-07-04 15:20 xxdate.exe
-rw-r--r--   1145 2018-07-04 15:20 zyva.mli
-rw-r--r--   1121 2018-07-04 15:20 zyva.ml
-rw-r--r--     44 2018-07-04 15:20 bugs/010/zyva.sh

   MD5 (hevea-2.32.tar.gz): a8ef8aa42c7cb1b9cef07804fb245f9c
  SHA1 (hevea-2.32.tar.gz): abd92fe4a94d0b942470c0a468d77d26e920bce1
SHA256 (hevea-2.32.tar.gz): de55c6809ae077cd9b2cd5c758449907845677258815c96a713764e6e0c59ee8

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