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 interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |