proof-general/coqtags, branch master Emacs plugins for proof management systems Renamed for new subdirectory structure 1998-09-03T13:51:41+00:00 David Aspinall 1998-09-03T13:51:41+00:00 8b836f84d70fcea59ffa186f6809ebc6765b8a5f 






First checked-in version.
1998-05-06T15:32:29+00:00

Healfdene Goguen

1998-05-06T15:32:29+00:00

5073638b8b9dc1d5e32b3bee355aa2fd85eba941