From 88bbb23f303ea3272d4bf48c77bad17757fc7653 Mon Sep 17 00:00:00 2001 From: Richard Osborn Date: Mon, 17 Dec 2012 02:47:52 -0600 Subject: Proof General 4.2 Closes #16614. Signed-off-by: Adam Vandenberg --- Library/Formula/proof-general.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Library/Formula') diff --git a/Library/Formula/proof-general.rb b/Library/Formula/proof-general.rb index 734cb92bd..17785fe9d 100644 --- a/Library/Formula/proof-general.rb +++ b/Library/Formula/proof-general.rb @@ -2,8 +2,8 @@ require 'formula' class ProofGeneral < Formula homepage 'http://proofgeneral.inf.ed.ac.uk' - url 'http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.1.tgz' - sha1 '0dd18bd0bdad8faab76f61bffc8e432c3ed7aeaf' + url 'http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz' + sha1 'c8d2e4457478b9dbf4080d3cf8255325fcffe619' option 'with-doc', 'Install documentations' option 'with-emacs=', 'Re-compile the lisp files with a specified emacs' -- cgit v1.2.3