"Fossies" - the Fresh Open Source Software Archive

Contents of hevea-2.33.tar.gz (12 Feb 15:13, 997102 Bytes)

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



Fossies downloads: /linux/wwwhevea-2.33.tar.gz  (tar.bz2|tar.xz|zip)
Fossies services: Diffs report | CLOC analysis
Original URL: https://para.inria.fr/~maranget/hevea/distri/hevea-2.33.tar.gz
Home page: http://para.inria.fr/~maranget/hevea
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--  33287 2020-02-12 15:15 CHANGES
-rw-r--r--  30867 2020-02-12 15:15 LICENSE
-rw-r--r--   3843 2020-02-12 15:15 README
-rw-r--r--    235 2020-02-12 15:15 release/README

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

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

   MD5 (hevea-2.33.tar.gz): 4ff1d63a7a7ccd76e2f9540b391c0fb4
  SHA1 (hevea-2.33.tar.gz): cd7a87d651133b7b3041cca42df6e4edc7eadad5
SHA256 (hevea-2.33.tar.gz): abface4340f80692b4f1143f15dfabc16a263902a5025933020b42638d5d2504

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