proof-general/html/projects/mm.html, branch master
Emacs plugins for proof management systems
Deleted files.
2003-02-18T17:22:16+00:00
David Aspinall
2003-02-18T17:22:16+00:00
e297e0423fc9517690e5ae82972fed68652e2b60
Link to page mentioned by emacs guy
2002-07-13T17:13:37+00:00
David Aspinall
2002-07-13T17:13:37+00:00
27b628241fd95a1a4fb23078bf5b4a6928735cf2
New projects directory.
2000-02-29T06:19:39+00:00
David Aspinall
2000-02-29T06:19:39+00:00
b37bf74fc2d6309a5ae3dc6b55e8488409976775