proof-general/mmm/NEWS, branch master Emacs plugins for proof management systems Renamed from mmm/NEWS to contrib/mmm/NEWS 2010-08-27T11:24:14+00:00 David Aspinall 2010-08-27T11:24:14+00:00 87952c29a351f0645660842c1c24209168a86187 






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

David Aspinall

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

50ed5b3a2487b818a0741a7c4fe7f5ec52d52d7c












New files.
2003-02-17T22:33:16+00:00

David Aspinall

2003-02-17T22:33:16+00:00

38bfe396e0cf99529fcf0310c12aa7e0f112478f