proof-general/mmm/README.mmm-for-ProofGeneral, branch master Emacs plugins for proof management systems Renamed from mmm/README.mmm-for-ProofGeneral to contrib/mmm/README.mmm-for-ProofGeneral 2010-08-27T11:24:20+00:00 David Aspinall 2010-08-27T11:24:20+00:00 b33917736ed4061d167b54a024c1013096acae2a 






Fix compile warnings
2009-09-06T18:11:55+00:00

David Aspinall

2009-09-06T18:11:55+00:00

36ed2e9b37a9e722191293db499b29a373cba61b












Update to 0.4.8 from sourceforge.
2006-09-22T16:45:50+00:00

David Aspinall

2006-09-22T16:45:50+00:00

50ed5b3a2487b818a0741a7c4fe7f5ec52d52d7c












Renamed file
2003-02-22T18:10:57+00:00

David Aspinall

2003-02-22T18:10:57+00:00

62958d26c2e0b33a5e2e4fdedefdf5a02e337e41