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