diff options
| -rw-r--r-- | .gitignore (renamed from .cvsignore) | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -2,6 +2,3 @@ nohup.out TAGS ChangeLog - - - |
![]() |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore (renamed from .cvsignore) | 3 |
@@ -2,6 +2,3 @@ nohup.out TAGS ChangeLog - - - |