proof-general/hol98/README, branch master

proof-general/hol98/README, branch master Emacs plugins for proof management systems Updated. 2004-04-15T08:00:56+00:00 David Aspinall 2004-04-15T08:00:56+00:00 a35b5be37664216deb2afb2ec63009637846d9cc

Updated. 2004-04-02T16:58:54+00:00 David Aspinall 2004-04-02T16:58:54+00:00 2a5709c354e09b06556f3f1e19bf2d9a5ad91564

Add specific install instrs, rearrange. 2001-09-03T10:40:31+00:00 David Aspinall 2001-09-03T10:40:31+00:00 d1a8680dede2340ae53b558fa4ae5cfc1c4500ba

Fix name of HOL98. 2000-03-23T13:34:03+00:00 David Aspinall 2000-03-23T13:34:03+00:00 3a6eb1901f71098d6f9b8e0ba1f3d54cda608e69

Note about diff HOL versions. 2000-03-13T07:33:25+00:00 David Aspinall 2000-03-13T07:33:25+00:00 52a8b752127e7841c4a0ce1571e29a4c582b73b4

New/updated information files 2000-03-13T04:21:14+00:00 David Aspinall 2000-03-13T04:21:14+00:00 390a659861192ebf98811438f61c4f992ecad25a

Updated 2000-03-10T09:23:33+00:00 David Aspinall 2000-03-10T09:23:33+00:00 94308059f0b7a132a902544dbe68142285f379ad

Added README files for each prover, summarizing status. 2000-03-09T07:48:01+00:00 David Aspinall 2000-03-09T07:48:01+00:00 2d65eb01d11d1034db298c94da2dc9a878dcbcb4