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

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

Remove proofgeneral.org domain. 2003-12-11T16:46:47+00:00 David Aspinall 2003-12-11T16:46:47+00:00 318d45596d7a57b90dbe685a3e1af3ec12a91469

Update addresses 2003-02-17T20:44:11+00:00 David Aspinall 2003-02-17T20:44:11+00:00 71b52dac340d4dd55ab420628a51123781c7fc1d

News about 3.4; links to download. 2002-08-29T00:24:36+00:00 David Aspinall 2002-08-29T00:24:36+00:00 ad0d67b52c1072b7d30d12e6fbda698f846660b2

News item for PG 3.4 2002-06-18T22:14:17+00:00 David Aspinall 2002-06-18T22:14:17+00:00 97893990ffcfbbf6649d971e5cdbb56102804fc4

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

fix links to devel download. 2001-12-11T17:48:34+00:00 David Aspinall 2001-12-11T17:48:34+00:00 2d577ad5ba24a292fe1b47aafcfb5c26efe5c533

Announce 3.3 2001-09-09T14:18:50+00:00 David Aspinall 2001-09-09T14:18:50+00:00 451c4114d680ee0ccb1336a8c297fc14d063077a

Fix links to gallery 2001-08-01T19:23:30+00:00 David Aspinall 2001-08-01T19:23:30+00:00 24238452bf5a4c57c9fa4f16e8e0a3a666b092ae