proof-general/phox/README, branch master

proof-general/phox/README, branch master Emacs plugins for proof management systems phox is back 2017-09-21T22:28:27+00:00 Christophe Raffalli 2017-09-21T22:28:27+00:00 06d72fb68fd9dd57632650f1a79de01317a6069f

Updated. 2008-01-31T23:35:52+00:00 David Aspinall 2008-01-31T23:35:52+00:00 18a0c868a649599461756650a0bde4f36503af67

Updated. 2004-04-14T16:30:28+00:00 David Aspinall 2004-04-14T16:30:28+00:00 c621a2ea58e24b04db91787e38a6842fe80a477b

Update versions/TODO 2002-07-17T12:03:46+00:00 David Aspinall 2002-07-17T12:03:46+00:00 a38f5defd9ed81de0263b1bf5ec42bce3589cdd2

*** empty log message *** 2002-03-05T17:01:46+00:00 Christophe Raffalli 2002-03-05T17:01:46+00:00 a572b1d82c82d2bec68a2609846bbd71eafc1188

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

af2 is now called PhoX 2000-12-01T17:46:38+00:00 Christophe Raffalli 2000-12-01T17:46:38+00:00 59e99ef53e76cdb15a7609b88d996e99afe31c20