proof-general/html/main.html, branch master

proof-general/html/main.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

Fix Lambda-CLAM link 2003-09-25T00:41:20+00:00 David Aspinall 2003-09-25T00:41:20+00:00 f71c2935e3b249ece4841b3913c4285f1c1e964e

Update my email and web 2003-01-16T13:58:17+00:00 David Aspinall 2003-01-16T13:58:17+00:00 6de932260c50a9200ef8b9aae007ca279049da63

Clarify in development support 2002-09-11T14:49:40+00:00 David Aspinall 2002-09-11T14:49:40+00:00 d044757ef7f2fbd5be074eb5f57809f1c7632133

Missing tag 2002-08-29T16:24:25+00:00 David Aspinall 2002-08-29T16:24:25+00:00 b0271c09ea129fbba6943c71deedfebb17c7f2c1

Link to standalone comps 2002-07-18T12:06:09+00:00 David Aspinall 2002-07-18T12:06:09+00:00 9a22cf73d6632c26141871f702a3b692c2457a2b

Edit for brevity 2002-07-16T17:15:32+00:00 David Aspinall 2002-07-16T17:15:32+00:00 cb5622d4bfba6b6ab896eec698db80e19432f53e

Put isa first 2002-07-15T09:29:40+00:00 David Aspinall 2002-07-15T09:29:40+00:00 f9eef939814b52977c01e063691bd0f7304d94e9

Simplify system infos. 2002-07-14T11:43:42+00:00 David Aspinall 2002-07-14T11:43:42+00:00 5f29ae4b30a2fb4600877a11286da7f1ba766f0a

Move project desc to features listing 2002-07-14T11:22:15+00:00 David Aspinall 2002-07-14T11:22:15+00:00 e28c0c20a7fbf3e8b47cc34a1a7198b116861df5