proof-general - Emacs plugins for proof management systems

Age	Commit message (Expand)	Author
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
2020-04-29	fix(test.sh): $_dir naming	Erik Martin-Dorel
2020-04-29	Add ERT tests (WIP)	Cyril Anaclet
2020-04-29	Add a test	Cyril Anaclet
2020-04-17	feat: Update test.yml to trigger integration tests	Erik Martin-Dorel
2020-04-17	feat: Add first version of coq-tests.el	Erik Martin-Dorel
2020-04-17	chore: Add shell script to automate the tests	Erik Martin-Dorel
2020-04-16	chore: Add init-tests.el	Erik Martin-Dorel