| Age | Commit message (Expand) | Author |
|---|---|---|
| 1997-11-17 | Added some magic commands: proof-frob-locked-end, proof-try-command, | Dilip Sequiera |
| 1997-10-13 | *** empty log message *** | Thomas Kleymann |
![]() |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 1997-11-17 | Added some magic commands: proof-frob-locked-end, proof-try-command, | Dilip Sequiera |
| 1997-10-13 | *** empty log message *** | Thomas Kleymann |