| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-17 | feat: Update test.yml to trigger integration tests | Erik Martin-Dorel | |
| * Fix test.sh so it can be run from the parent dir | |||
| 2020-04-17 | feat: Add first version of coq-tests.el | Erik Martin-Dorel | |
| TODO: Expand it using - https://github.com/rejeep/ert-async.el - and/or https://www.gnu.org/software/emacs/manual/html_node/ert/index.html | |||
| 2020-04-17 | chore: Add shell script to automate the tests | Erik Martin-Dorel | |
| * Inspired by https://github.com/pfitaxel/learn-ocaml.el/blob/master/test.sh (under license MIT) | |||
| 2020-04-16 | chore: Add init-tests.el | Erik Martin-Dorel | |
| * Taken from https://github.com/pfitaxel/learn-ocaml.el/blob/master/tests/init-tests.el (under license MIT) | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |