From 771cab48b2f9ea2ae3fa8f944d0e36a805bf9f3b Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 18 Sep 2016 20:59:38 +0200 Subject: Update the documentation and prepare the release 4.4. --- acl2/acl2.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'acl2') diff --git a/acl2/acl2.el b/acl2/acl2.el index 809c62fa..4f023217 100644 --- a/acl2/acl2.el +++ b/acl2/acl2.el @@ -92,6 +92,6 @@ (warn "ACL2 Proof General is incomplete! Please help improve it! -Please add improvements at http://proofgeneral.inf.ed.ac.uk/trac") +Please add improvements at https://github.com/ProofGeneral/PG") (provide 'acl2) -- cgit v1.2.3