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