public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
174,852 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

4 Commits

Author SHA1 Message Date
Valentin Robert 200d5c0c99 proofgeneral: revert needed deleted file 2017-05-25 12:51:04 -07:00
Valentin Robert eaef55f699 proofgeneral_HEAD: fix for files removed upstream 2017-05-18 16:43:38 -07:00
Vincent Laporte 1173278f34 ProofGeneral: 4.3pre131011 -> 4.3pre150313 2015-07-21 15:27:02 +02:00
Vincent Laporte 94828070ed ProofGeneral: makes the dependency on TeXLive optional 
And fixes the default value of $PGHOME
 2014-09-28 14:03:15 +01:00