proof-general/html/projects/pgml.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
Modified, now white paper contains DTDs (soon)
2000-07-16T15:18:32+00:00
David Aspinall
2000-07-16T15:18:32+00:00
f1e36dc74e323fa869ff955a633ce55a62fe621f
New projects directory.
2000-02-29T06:19:39+00:00
David Aspinall
2000-02-29T06:19:39+00:00
b37bf74fc2d6309a5ae3dc6b55e8488409976775