aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Collapse)AuthorAge
* Update, cleanupGravatar David Aspinall2002-06-30
|
* 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
| | | | coq-user-backable-command etc.
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 20:00:54 +0000