aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* GPLGravatar David Aspinall2002-06-21
* Updated the doc and the CHANGES file about new backtracking for Coq.Gravatar Pierre Courtieu2002-06-19
* Changed the CHANGES file for Coq.Gravatar Pierre Courtieu2002-06-12
* Not important.Gravatar Pierre Courtieu2002-06-11
* CHANGE is cleaner in the Coq part! Not important.Gravatar Pierre Courtieu2002-06-11
* Added changes in CHANGE about my new customization variablesGravatar Pierre Courtieu2002-06-11
* Note about removing dirsGravatar David Aspinall2002-06-08
* UpdatesGravatar David Aspinall2002-05-03
* Remove indentsGravatar David Aspinall2002-04-24
* Add syntax highlighting cahanges from Lucas DixonGravatar David Aspinall2002-04-23
* Improvement to ACL2Gravatar David Aspinall2002-03-21
* Updated.Gravatar David Aspinall2002-03-21
* Update X-Sym statusGravatar David Aspinall2002-02-23
* Describe tracing improvements.Gravatar David Aspinall2002-01-15
* Fix numberGravatar David Aspinall2002-01-11
* Note about Emacs 21 support and font lock.Gravatar David Aspinall2001-12-11
* Note of Emacs 21 supportGravatar David Aspinall2001-12-11
* Update for 3.4preGravatar David Aspinall2001-12-04
* Add back note.Gravatar David Aspinall2001-10-08
* Remove note for develGravatar David Aspinall2001-10-04
* Devel release is tweaked 3.3Gravatar David Aspinall2001-09-24
* No changes msgGravatar David Aspinall2001-09-13
* Backtrack to previous CHANGES file for now.Gravatar David Aspinall2001-09-09
* No changes yetGravatar David Aspinall2001-09-09
* UpdatedGravatar David Aspinall2001-09-05
* UpdatesGravatar David Aspinall2001-09-04
* UpdatedGravatar David Aspinall2001-09-03
* Note about tracing buffers for developersGravatar David Aspinall2001-09-03
* Improved explanationGravatar David Aspinall2001-08-31
* Added note about dependency feature.Gravatar David Aspinall2001-08-31
* Clarify 6.3.1 for multi fileGravatar David Aspinall2001-08-30
* More about invisible proofs and multiple files in Coq. X-symbol compatGravatar David Aspinall2001-08-30
* Minibuffer contents bug fixGravatar David Aspinall2001-08-17
* Move visibility item up, removed "in progress"Gravatar David Aspinall2001-08-16
* Explain symptom properlyGravatar David Aspinall2001-08-10
* Note of bug fix for buffer-syntactic-contextGravatar David Aspinall2001-08-10
* Note about improved win32 supportGravatar David Aspinall2001-08-03
* splash changes.Gravatar David Aspinall2001-05-16
* UpdatesGravatar David Aspinall2001-05-08
* Mentioned important changesGravatar David Aspinall2000-12-20
* Ready for 3.2 changes.Gravatar David Aspinall2000-10-27
* Whoops, left pre-release header inGravatar David Aspinall2000-10-02
* UpdatedGravatar David Aspinall2000-09-23
* UpdatedGravatar David Aspinall2000-09-14
* UpdatedGravatar David Aspinall2000-09-13
* tuned;Gravatar Makarius Wenzel2000-07-17
* UpdatedGravatar David Aspinall2000-07-12
* UpdatedGravatar David Aspinall2000-07-05
* XEmacs only noteGravatar David Aspinall2000-06-22
* Note about new indentation code and current buggy stateGravatar David Aspinall2000-06-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 17:54:46 +0000