proof-general/coq/README, branch master

proof-general/coq/README, branch master Emacs plugins for proof management systems comment and readme. 2015-12-31T14:23:35+00:00 Pierre Courtieu 2015-12-31T14:23:35+00:00 40a248f2007e7239ce01824a18f48fb0ab7d6d22

Update dates and versions 2011-10-03T09:04:26+00:00 David Aspinall 2011-10-03T09:04:26+00:00 a256d592c6e23747f327c993d947964b807e4991

Remove pointer to closed ticket 2011-06-22T09:40:22+00:00 David Aspinall 2011-06-22T09:40:22+00:00 9561bdabd3d80cbc71540ae2a1ea1aa74430ad95

Update dates and versions 2011-01-14T17:07:27+00:00 David Aspinall 2011-01-14T17:07:27+00:00 462d8403fbe048aac215d809bfa72e7360384071

Update version numbers, release dates 2010-10-01T11:48:38+00:00 David Aspinall 2010-10-01T11:48:38+00:00 7af0b5b970aa72c7b9997a8107c961ee99fce3ec

Point to Trac #313 2009-12-01T11:02:19+00:00 David Aspinall 2009-12-01T11:02:19+00:00 a1aef043973c8cf7456f7104abf448dc2bd9e3dd

Remove more of 80 code 2009-09-08T23:17:33+00:00 David Aspinall 2009-09-08T23:17:33+00:00 153955899a42b9ef4c7ce5ad8cd9bcd82a39eb83

Update for Unicode Tokens. 2009-09-07T08:51:39+00:00 David Aspinall 2009-09-07T08:51:39+00:00 d43befb03637f3796e97119fd1167ce1d03a4f4d

Update versions here. 2008-01-31T23:08:31+00:00 David Aspinall 2008-01-31T23:08:31+00:00 90ce1043d9d7d8e60ebd1bb4949ffda0634ce529

deleted coq x symbols doc in CHANGES. 2004-04-23T09:00:10+00:00 Pierre Courtieu 2004-04-23T09:00:10+00:00 f8df994ee797909ba5567811f6d278da4e225f83