proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2020-05-29	refactor: Remove unneeded coq-should-response	Erik Martin-Dorel

2020-05-29	Minor changes	Anaclet

2020-05-29	Fix the test 081	Anaclet

2020-05-29	Add tests and flags system	Anaclet

2020-05-29	test: Add regression test (currently failing)	Erik Martin-Dorel

2020-05-26	fix: test files should not provide features	Erik Martin-Dorel
	Close #493
2020-05-04	add test	Cyril Anaclet

2020-05-04	refactor: Rename test file	Erik Martin-Dorel

2020-05-04	docs: Add docstrings in tests	Erik Martin-Dorel

2020-05-04	refactor: Remove unneeded auxiliary functions & Use "coq-" prefix	Erik Martin-Dorel

2020-05-04	test: Add tests and some fix	Cyril Anaclet

2020-05-01	test: Slightly increase 'ert-batch-backtrace-right-margin	Erik Martin-Dorel

2020-04-30	[WIP] add 2 tests	Cyril Anaclet

2020-04-29	fix: ERT tests OK in batch & interactive mode at once	Erik Martin-Dorel

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	Add ERT tests (WIP)	Cyril Anaclet
	Co-authored-by: Cyril Anaclet <cyril.anaclet@gmail.com> Co-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
2020-04-29	Add a test	Cyril Anaclet

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