proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2020-04-29	fix: coq-tests.el and related files	Erik Martin-Dorel
	* The "./test1.v" relative filename triggered an issue => use (coq-test-full-path "test1.v") * The (coq-test-cmd "...") was not optimal for coq-test-print => use (progn (coq-test-goto-before "(some-unique-identifier)") (proof-goto-point) (proof-shell-wait)) * The (string-trim "...") function was not defined in batch mode => use (require 'subr-x) & Remove forgotten "(setq temp" snippet.
2020-04-29	fix(test.sh): $_dir naming	Erik Martin-Dorel

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)