- 25 Aug, 2022 8 commits
-
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
- 07 Jul, 2022 1 commit
-
-
Manu Beffara authored
-
- 28 Apr, 2020 2 commits
-
-
Manu Beffara authored
Support simple _CoqProject files. See merge request !1
-
Manu Beffara authored
Better sentence recognition. See merge request !2
-
- 03 May, 2019 4 commits
-
-
Adam Matoušek authored
Used in proofs with a default tactic. (E.g. "Proof with auto. intros. inv H... Qed.")
-
Adam Matoušek authored
-
Adam Matoušek authored
-
Adam Matoušek authored
E.g. these from the Software Foundations books (at least the first two).
-
- 25 Feb, 2019 1 commit
-
-
Manu Beffara authored
This is required for Coq version 8.9.0. The previous command 'coqtop -ideslave' is still supported as a second choice for compatibility.
-
- 24 Sep, 2018 1 commit
-
-
Two dots are used e.g. in notation for lists.
-
- 26 Jul, 2018 1 commit
-
-
The tag *g:coq_debug* appeared twice so `helptags` did not know which one should be the target
-
- 17 Apr, 2018 1 commit
-
-
Manu Beffara authored
-
- 29 Jun, 2017 1 commit
-
-
Manu Beffara authored
-
- 13 Jun, 2017 4 commits
-
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
- 08 Jun, 2017 1 commit
-
-
Manu Beffara authored
-
- 30 May, 2017 4 commits
-
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
- 16 May, 2017 2 commits
-
-
Manu Beffara authored
-
Manu Beffara authored
-
- 13 May, 2017 1 commit
-
-
Manu Beffara authored
-
- 10 May, 2017 4 commits
-
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
Manu Beffara authored
-
- 09 May, 2017 2 commits
-
-
Manu Beffara authored
-
Manu Beffara authored
-