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

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

Improve feature list. 2002-07-17T12:51:53+00:00 David Aspinall 2002-07-17T12:51:53+00:00 a6ad5eaddd3637df65cf47523740ba9510be7394

Tweak 2002-07-15T09:32:01+00:00 David Aspinall 2002-07-15T09:32:01+00:00 e1929f06c1935fc2bf6d2b94a57c5b0a44229ec1

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

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

Toolbar allowed in GNU Emacs 21 2001-12-11T00:50:21+00:00 David Aspinall 2001-12-11T00:50:21+00:00 d98e849d6ae79d50b4fa8d5d73b79864d2b9149a

Text 2001-09-03T12:54:52+00:00 David Aspinall 2001-09-03T12:54:52+00:00 4fbdf80098ef9a7014fa164b4225164f909e5277

Fix link to screenshot 2001-09-03T12:53:51+00:00 David Aspinall 2001-09-03T12:53:51+00:00 91150509614284e1cb3d08f72ee6fa26a492d31d

Mention hiding proofs. 2001-09-03T10:44:21+00:00 David Aspinall 2001-09-03T10:44:21+00:00 3c8a94d1f6fb0dc628466ac431d1d6a753ab20dc

Fix layout and typo. 2001-05-29T17:52:51+00:00 David Aspinall 2001-05-29T17:52:51+00:00 6141b20b97247820a388d2b8680f24711b404576