proof-general - Emacs plugins for proof management systems

Age	Commit message (Expand)	Author
2020-05-26	[CI] Also run integration tests with Coq 8.9.1 and 8.10.2	Erik Martin-Dorel
2020-05-06	test: Add CI step to build the doc	Erik Martin-Dorel
2020-05-01	fix: add some "sudo chown coq:coq" command	Erik Martin-Dorel
2020-05-01	test: Add ert-problem-matcher for CI workflow	Erik Martin-Dorel
2020-04-29	ci: Build all branches for now	Erik Martin-Dorel
2020-04-27	[CI] fail-fast:=false	Erik Martin-Dorel
2020-04-27	[CI] Use coq-community/docker-coq-action@v1	Erik Martin-Dorel
2020-04-22	[CI] Use erikmd/docker-coq-action@master	Erik Martin-Dorel
2020-04-21	[CI] Tweak max-parallel spec	Erik Martin-Dorel
2020-04-21	[CI] Fix on/(push,pull_request) spec	Erik Martin-Dorel
2020-04-21	s/4.07-flambda/minimal/	Erik Martin-Dorel
2020-04-21	fix: Install emacs in the Docker container	Erik Martin-Dorel
2020-04-17	feat: Update test.yml to trigger integration tests	Erik Martin-Dorel
2020-04-16	feat: Add GitHub-action workflow	Erik Martin-Dorel