proof-general/af2, branch master

proof-general/af2, branch master Emacs plugins for proof management systems af2 is now called PhoX 2000-12-01T17:46:38+00:00 Christophe Raffalli 2000-12-01T17:46:38+00:00 59e99ef53e76cdb15a7609b88d996e99afe31c20

af2 is now called PhoX 2000-12-01T17:32:21+00:00 Christophe Raffalli 2000-12-01T17:32:21+00:00 bf35167a87fc74a3317b2c08937b85e4b48cf0d0

add rewrite list 2000-12-01T14:53:56+00:00 Christophe Raffalli 2000-12-01T14:53:56+00:00 8ea0bdd7794f2485db778ae500c14e676edcca1c

*** empty log message *** 2000-12-01T13:34:02+00:00 Christophe Raffalli 2000-12-01T13:34:02+00:00 e8c9e51c13f8f340804d85ae11a535e819428b88

*** empty log message *** 2000-11-15T18:15:09+00:00 Christophe Raffalli 2000-11-15T18:15:09+00:00 3694276d92db897e99893a5bccaa2dd9d5b505c5

*** empty log message *** 2000-11-13T10:30:57+00:00 Christophe Raffalli 2000-11-13T10:30:57+00:00 b1f847966dc77d5b1c84ba779c95fdada5055073

*** empty log message *** 2000-11-10T17:58:16+00:00 Christophe Raffalli 2000-11-10T17:58:16+00:00 bebf19e9d69866a9f403700282e213e69877d721

*** empty log message *** 2000-10-30T14:53:43+00:00 Christophe Raffalli 2000-10-30T14:53:43+00:00 e09aad88fb9c92b7e10483e8c44fbf9d45b8a232

*** empty log message *** 2000-10-27T07:59:11+00:00 Christophe Raffalli 2000-10-27T07:59:11+00:00 3665c00e086f8d2759f0927ef60021920e21fad9

*** empty log message *** 2000-10-26T17:26:52+00:00 Christophe Raffalli 2000-10-26T17:26:52+00:00 5a1168cefaac1960b781c2e807eb4a88895519e1