Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / aac-tactics
Commits:
-
8018e923
by Benjamin Barenblat at 2019-02-14T01:40:51Z
30 changed files:
- + .gitignore
- − CHANGELOG
- − COPYING
- − COPYING.LESSER
- LICENSE
- − Make
- Makefile
- − README
- + README.md
- + _CoqProject
- + default.nix
- − description
- + meta.yml
- + opam
- + src/aac.ml4
- aac.mlpack → src/aac_plugin.mlpack
- aac_rewrite.ml4 → src/aac_rewrite.ml
- aac_rewrite.mli → src/aac_rewrite.mli
- coq.ml → src/coq.ml
- coq.mli → src/coq.mli
- helper.ml → src/helper.ml
- helper.mli → src/helper.mli
- matcher.ml → src/matcher.ml
- matcher.mli → src/matcher.mli
- print.ml → src/print.ml
- print.mli → src/print.mli
- search_monad.ml → src/search_monad.ml
- search_monad.mli → src/search_monad.mli
- theory.ml → src/theory.ml
- theory.mli → src/theory.mli