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

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

Fix parse error. 2000-10-18T13:19:52+00:00 David Aspinall 2000-10-18T13:19:52+00:00 ea6e19a55b7b9ec3633616a176f298bbed516eb3

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