| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | proofgeneral: Delete default.nix for proofgeneral | John Wiegley | 2014-06-20 |
| * | proofgeneral_4_3_pre: Add expression needed for current prooftree | John Wiegley | 2014-06-20 |
| * | ProofGeneral: Workaround for bug #458 | Marco Maggesi | 2013-04-23 |
| * | ProofGeneral: remove dead code (compatibility with emacs 23). | Marco Maggesi | 2013-03-24 |
| * | Update ProofGeneral to version 4.2 | Marco Maggesi | 2013-03-19 |
| * | Make ProofGeneral build with Emacs 24. | Karn Kallio | 2012-06-12 |
| * | ProofGeneral 4.1 | Karn Kallio | 2011-12-13 |
| * | ProofGeneral 4.0 | Marco Maggesi | 2011-05-14 |
| * | Proof General: Build and install via the makefile. | Ludovic Courtès | 2010-06-06 |
| * | Add expression for ProofGeneral | Marco Maggesi | 2009-12-11 |