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

2 Commits

Author SHA1 Message Date
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