diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -117,7 +117,6 @@ clean: cleanpgscripts (cd doc; $(MAKE) clean) distclean: clean - rm -f *~ */*~ ## ## Install files |
![]() |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |