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

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

Updated. 2003-02-18T17:22:29+00:00 David Aspinall 2003-02-18T17:22:29+00:00 90a2ffa45ff32db8afc7875c0b489c58993a2653

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

Remove PGK mention, other obs projects 2002-06-08T02:12:12+00:00 David Aspinall 2002-06-08T02:12:12+00:00 364ef47244efdb3829d888dc741d2e493caec433

Fix URL for X-symbol 2002-04-23T16:53:32+00:00 David Aspinall 2002-04-23T16:53:32+00:00 59bdb9ac18f8f1e2a91a00cc73274acbfa8d9611

Fix link to feedback page 2002-01-15T14:05:00+00:00 David Aspinall 2002-01-15T14:05:00+00:00 6c8a7016f6f9d5a12f425c4422690f489ce8590e

Remove messy link_root links. 2000-09-29T17:47:34+00:00 David Aspinall 2000-09-29T17:47:34+00:00 0343b2b7187a599d2373e92e00d5e8ad7da91c3f

Moved to use .html instead of .phtml 2000-09-28T15:14:22+00:00 David Aspinall 2000-09-28T15:14:22+00:00 ce2413d4ba78cacb8d5e098ed1421456bb811e53

Renamed file 2000-09-28T15:01:50+00:00 David Aspinall 2000-09-28T15:01:50+00:00 bd7aa7923a25d16207842f9f3d6b773c2fc6fa58