proof-general/html/features, 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 






Include php instead of html
2001-05-01T14:18:23+00:00

David Aspinall

2001-05-01T14:18:23+00:00

dabe19b881590a70815551326c7ef390e0248200












Short file instead of a link, so works in CVS. Bit annoying to duplicate, but never mind.
2000-09-29T17:43:47+00:00

David Aspinall

2000-09-29T17:43:47+00:00

4e2c1e49359fdc4f1dbb0fe31b182c6d8e09eaae












Links for shortcut URLs.
2000-09-29T17:33:57+00:00

David Aspinall

2000-09-29T17:33:57+00:00

8c4e7dac5c76cdb6edee6ed307e08dfd32025c7b