| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Merge pull request #559 from hendriktews/omit-proofs | Erik Martin-Dorel | 5 years | |
| Age | Commit message | Author | ||
| 2021-04-21 | Merge pull request #559 from hendriktews/omit-proofsHEADmaster | Erik Martin-Dorel | ||
| 2021-04-21 | Document the "Proof using" requirement for 'proof-omit-proofs-option | Erik Martin-Dorel | ||
| 2021-04-16 | omit proofs: emit warning on nested proofs and continue | Hendrik Tews | ||
| 2021-04-16 | omit proofs feature documented in PG-adapting | Hendrik Tews | ||
| 2021-04-16 | fix omit proofs test for emacs <= 25 | Hendrik Tews | ||
| 2021-04-16 | document the omit proofs feature manual and changes file | Hendrik Tews | ||
| 2021-04-16 | add test for omit proofs feature | Hendrik Tews | ||
| 2021-04-16 | prefix arg for temporarily disabling omitting proofs | Hendrik Tews | ||
| 2021-04-16 | add feature to omit complete opaque proofs | Hendrik Tews | ||
| 2021-04-08 | Fixing "match with" generation. | Pierre Courtieu | ||
| [...] | ||||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |