aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* Add followdownGravatar David Aspinall2002-12-29
* Updated.Gravatar David Aspinall2002-11-28
* Fix typo.Gravatar David Aspinall2002-09-11
* Updated.Gravatar David Aspinall2002-09-11
* Updated.Gravatar David Aspinall2002-09-11
* Updated.Gravatar David Aspinall2002-08-31
* Updated.Gravatar David Aspinall2002-08-31
* Updated.Gravatar David Aspinall2002-08-30
* Updated.Gravatar David Aspinall2002-08-30
* Changes for development releaseGravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* Remove development noteGravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-27
* Updated.Gravatar David Aspinall2002-08-16
* Mention span menu improvements.Gravatar David Aspinall2002-08-16
* Updated.Gravatar David Aspinall2002-08-09
* Updated.Gravatar David Aspinall2002-08-08
* UpdatesGravatar David Aspinall2002-08-08
* Changed a bit more the doc and the CHANGES file, to beGravatar Pierre Courtieu2002-07-26
* Mention fav improvsGravatar David Aspinall2002-07-19
* Mention experimental natureGravatar David Aspinall2002-07-18
* Mention known probs in prerelGravatar David Aspinall2002-07-18
* Mention term highlightingGravatar David Aspinall2002-07-17
* MinorGravatar David Aspinall2002-07-16
* 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
* 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