4 commits

Author	SHA1	Message	Date
Karn Kallio	135fe9059f	ProofGeneral 4.1 ... svn path=/nixpkgs/trunk/; revision=30863	2011-12-13 01:13:46 +00:00
Marco Maggesi	503f04ca54	ProofGeneral 4.0 ... svn path=/nixpkgs/trunk/; revision=27252	2011-05-14 20:59:53 +00:00
Ludovic Courtès	82c1349503	Proof General: Build and install via the makefile. ... svn path=/nixpkgs/trunk/; revision=22162	2010-06-06 22:39:28 +00:00
Marco Maggesi	218bdaf214	Add expression for ProofGeneral ... svn path=/nixpkgs/trunk/; revision=18904	2009-12-11 16:18:27 +00:00