proof-general/html/projects/acs.html, branch master
Emacs plugins for proof management systems
Deleted file
2004-02-07T19:31:13+00:00
David Aspinall
2004-02-07T19:31:13+00:00
b9caaa8e4b66817dbc66d0e79b567b3285869fea
Improved links, new project on ACS.
2000-03-19T06:40:30+00:00
David Aspinall
2000-03-19T06:40:30+00:00
1aea7fca0334e89fbcf69cc7477589e4118b3ebe