proof-general/html/register, branch master

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

Buggy tag 2002-07-16T17:17:33+00:00 David Aspinall 2002-07-16T17:17:33+00:00 092330d84d2818902be92a8bf0b02f01c21aac3a

Improve layout 2002-07-14T11:18:53+00:00 David Aspinall 2002-07-14T11:18:53+00:00 637409f6a1ad1f1c7b5dd96a0d1da4ca3f8fd859

Improve form 2002-07-13T17:47:47+00:00 David Aspinall 2002-07-13T17:47:47+00:00 06f114bdc709e2ad3facfe9cd2cf58b5e5e594b7

Register and kit shortcuts 2001-05-01T14:20:22+00:00 David Aspinall 2001-05-01T14:20:22+00:00 10f7d3927af2446baf7d90f7066a6929c75bd921