| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | proofgeneral: revert needed deleted file | Valentin Robert | 2017-05-25 |
| * | proofgeneral_HEAD: fix for files removed upstream | Valentin Robert | 2017-05-18 |
| * | ProofGeneral: 4.3pre131011 -> 4.3pre150313 | Vincent Laporte | 2015-07-21 |
| * | ProofGeneral: makes the dependency on TeXLive optional | Vincent Laporte | 2014-09-28 |