| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 10 | logplain |
| -rw-r--r-- | Makefile | 483 | logplain |
| -rw-r--r-- | README.md | 95 | logplain |
| -rw-r--r-- | omit_test.v | 510 | logplain |
| -rw-r--r-- | test-coqtop-unavailable.el | 605 | logplain |
| -rw-r--r-- | test-omit-proofs.el | 5214 | logplain |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |