aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* 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
* UpdatedGravatar David Aspinall2000-06-15
* Remove toolbar and menubar from windows in multiple frame mode.Gravatar David Aspinall2000-06-09
* proof-next-error, proof-display-some-buffersGravatar David Aspinall2000-06-05
* Updated, mentioning new parsing function mechanismsGravatar David Aspinall2000-06-01
* Favourites mechanism now fully implemented, I hope.Gravatar David Aspinall2000-05-29
* UpdatedGravatar David Aspinall2000-05-29
* Note about proof-shell-pre-sync-init-cmdGravatar David Aspinall2000-05-25
* Toolbar fixes.Gravatar David Aspinall2000-05-25
* Specific keys begin C-c C-a, not C-c a.Gravatar David Aspinall2000-05-12
* UpdatedGravatar David Aspinall2000-05-11
* UpdatedGravatar David Aspinall2000-05-09
* UpdatedGravatar David Aspinall2000-05-09
* UpdatedGravatar David Aspinall2000-05-05
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
* Cease mentioning plastic.Gravatar David Aspinall2000-05-01
* Added proof-assistant-menu-entries for proof assistant specific menus.Gravatar David Aspinall2000-05-01
* Note about efficiency/bug fix by Markus.Gravatar David Aspinall2000-04-25
* UpdatedGravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* Note of 3.2 changesGravatar David Aspinall2000-04-04
* Updates for 3.2 series.Gravatar David Aspinall2000-04-04
* UpdatedGravatar David Aspinall2000-03-24
* Notes about upcoming 3.1.1 changesGravatar David Aspinall2000-03-24
* Fix for XEmacs noteGravatar David Aspinall2000-03-23
* Updated and cleaned upGravatar David Aspinall2000-03-22
* Updated and cleaned upGravatar David Aspinall2000-03-22
* Rename proof-shell-string-escapes -> proof-shell-filename-escapesGravatar David Aspinall2000-03-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 19:34:29 +0000