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
..
4.2.nix	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
4.3pre.nix	ProofGeneral: makes the dependency on TeXLive optional	2014-09-28 14:03:15 +01:00
pg.patch	ProofGeneral: makes the dependency on TeXLive optional	2014-09-28 14:03:15 +01:00