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
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