"Fossies" - the Fresh Open Source Software Archive

Contents of hevea-2.34.tar.gz (26 Mar 16:05, 998180 Bytes)

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



Fossies downloads: /linux/wwwhevea-2.34.tar.gz  (tar.bz2|tar.xz|zip)
Fossies services: Diffs report | CLOC analysis
Original URL: https://para.inria.fr/~maranget/hevea/distri/hevea-2.34.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--  33375 2020-03-26 16:08 CHANGES
-rw-r--r--  30867 2020-03-26 16:08 LICENSE
-rw-r--r--   3843 2020-03-26 16:08 README
-rw-r--r--    235 2020-03-26 16:08 release/README

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

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

   MD5 (hevea-2.34.tar.gz): 886b9993f37fd05fee8654d8f2a099a9
  SHA1 (hevea-2.34.tar.gz): bec895026fc7884afe7b355950d95a63e8e4aca2
SHA256 (hevea-2.34.tar.gz): 3ad08a0dce6675df3caa912ec1497d8019ce10733263092bbb7482c4fbd7fedf

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