Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ProofGeneral: remove legacy version 4.3pre | Vincent Laporte | 2016-10-07 |
* | ProofGeneral: 4.3pre131011 -> 4.3pre150313 | Vincent Laporte | 2015-07-21 |
* | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 2014-11-06 |
* | ProofGeneral: makes the dependency on TeXLive optional | Vincent Laporte | 2014-09-28 |
* | proofgeneral_4_3_pre: Add expression needed for current prooftree | John Wiegley | 2014-06-20 |