diff options
| author | Richard Osborn | 2012-12-17 02:47:52 -0600 |
|---|---|---|
| committer | Adam Vandenberg | 2012-12-17 12:45:52 -0800 |
| commit | 88bbb23f303ea3272d4bf48c77bad17757fc7653 (patch) | |
| tree | 0a19581f2c1d6df7e10f6a541ab8bfed024556d4 /Library | |
| parent | 2449639c9641e5769a67e03a2c6fb77214ea6b49 (diff) | |
| download | homebrew-88bbb23f303ea3272d4bf48c77bad17757fc7653.tar.bz2 | |
Proof General 4.2
Closes #16614.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/proof-general.rb | 4 |
1 files changed, 2 insertions, 2 deletions
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=</path/to/emacs>', 'Re-compile the lisp files with a specified emacs' |