Package Details: proofgeneral 4.5-4

Git Clone URL: https://aur.archlinux.org/proofgeneral.git (read-only, click to copy)
Package Base: proofgeneral
Description: Generic interface for proof assistants.
Upstream URL: https://proofgeneral.github.io/
Licenses: GPL
Replaces: proofgeneral-nox
Submitter: None
Maintainer: gilcu3
Last Packager: gilcu3
Votes: 23
Popularity: 0.000000
First Submitted: 2007-10-01 23:36 (UTC)
Last Updated: 2022-09-26 07:42 (UTC)

Latest Comments

« First ‹ Previous 1 2 3 4 Next › Last »

pherms commented on 2012-06-15 14:33 (UTC)

Note however that proofgeneral is currently not fully compatible with emacs 24. One problem has been found and reported: http://proofgeneral.inf.ed.ac.uk/trac/ticket/442 If you find other bugs, please report them as there will be a new release soon.

wilbowma commented on 2012-06-14 19:09 (UTC)

Thanks for the patch, it's been updated.

eatsaq commented on 2012-06-14 11:55 (UTC)

It didn't compile against latest Emacs, 24.1. I fixed the code and PKGBUILD and created a patch: https://gist.github.com/2929859

pherms commented on 2011-10-03 15:17 (UTC)

4.1 is out.

td123 commented on 2011-07-05 20:28 (UTC)

disowning, 4.1RC2 isn't really a version bump, but I'll leave that up to the next maintainer to decide on

td123 commented on 2011-04-13 05:23 (UTC)

@victor.vde Thanks, everything should compile fine now.

victor.vde commented on 2011-04-12 19:10 (UTC)

It doesn't build with emacs 23.3 without patching mmm. Patch at http://paste.lisp.org/display/121434 , tested by proof-mmm-toggle -ing a few times.

td123 commented on 2010-11-08 15:32 (UTC)

done

« First ‹ Previous 1 2 3 4 Next › Last »