aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
Commit message (Expand)AuthorAge
* 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
* UpdatedGravatar David Aspinall2000-03-19
* New/updated information filesGravatar David Aspinall2000-03-13
* UpdatedGravatar David Aspinall2000-03-10
* UpdatedGravatar David Aspinall2000-03-09
* Added proof-shell-process-connection-type.Gravatar David Aspinall2000-03-09
* UpdatedGravatar David Aspinall2000-03-09
* Fixed up outline markup.Gravatar David Aspinall2000-03-09
* Updated, added outline.Gravatar David Aspinall2000-03-08
* Note about bug/fix with old Japan versions of CL macs.Gravatar David Aspinall2000-03-08
* Notes about fix for problem with Emacs 20.5 reported by PierreGravatar David Aspinall2000-01-25
* Note about X-Symbol problems.Gravatar David Aspinall2000-01-12
* Mention fix to proof-shell-eager-annotation-start-lengthGravatar David Aspinall2000-01-06
* Development version becomes 3.1.Gravatar David Aspinall1999-11-30
* UpdatedGravatar David Aspinall1999-11-22
* TweaksGravatar David Aspinall1999-11-17
* UpdatedGravatar David Aspinall1999-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 13:44:09 +0000