Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits:
-
75c95ee4
by Ralf Treinen at 2019-02-11T18:38:51Z
15 changed files:
- + .travis.yml
- + CONTRIBUTING.md
- ChangeLog
- − INSTALL
- + INSTALL.md
- − README
- + README.md
- + docs/README.md
- + docs/htmldoc/Makefile
- + docs/htmldoc/buildlibgraph
- htmldoc/coqdoc.css → docs/htmldoc/coqdoc.css
- + docs/htmldoc/depend
- + docs/htmldoc/depend.js
- + docs/htmldoc/index.html
- + docs/htmldoc/index_abbreviation_*.html