proof-general/coq/CHANGES, branch master Emacs plugins for proof management systems Deleted file 2008-01-15T15:45:29+00:00 David Aspinall 2008-01-15T15:45:29+00:00 41ad6a62cacfd16784875b5f68f1f823503fe94e 






Added things in CHANGES.
2007-04-23T07:28:17+00:00

Pierre Courtieu

2007-04-23T07:28:17+00:00

7b3aa6cde341acaca195134d676c38f1f3fb9a24












Updated CHANGES.
2006-09-07T17:39:36+00:00

Pierre Courtieu

2006-09-07T17:39:36+00:00

29fa6d27c20493a472045c5fb4c5a442cfdcfac7












updating changes in coq/CHANGES.
2006-09-06T10:38:37+00:00

Pierre Courtieu

2006-09-06T10:38:37+00:00

6d73195f7b3e976f2df62d13f029f55558cde5fd












fix coq/CHANGES
2006-08-25T12:50:49+00:00

Pierre Courtieu

2006-08-25T12:50:49+00:00

079bf430d977dfe5d451ffd1aebff5554801c388












Changed default coq version (8.1)
2006-08-25T09:54:48+00:00

Pierre Courtieu

2006-08-25T09:54:48+00:00

62dacef3e83b2b95068337ba894c89176265cc09

Small fixes in docstrings.





Small fixes in docstrings.







added a CHANGES file for coq directory
2006-08-25T09:07:15+00:00

Pierre Courtieu

2006-08-25T09:07:15+00:00

6c3cc40c3ef7972402eb066cf7d914b584494d5e

filled it





filled it