aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-06-22
* Added missing proof.Gravatar David Aspinall2000-06-22
* Extra note.Gravatar David Aspinall2000-06-22
* XEmacs only noteGravatar David Aspinall2000-06-22
* Rearranged, more info about X-Sym probsGravatar David Aspinall2000-06-22
* Remove modeline from extra frames (in XEmacs).Gravatar David Aspinall2000-06-22
* Added back defconsts for face names needed for FSF Emacs.Gravatar David Aspinall2000-06-22
* somme little changes to make undo work betterGravatar Pierre Courtieu2000-06-22
* Set version tag for new release.Gravatar David Aspinall2000-06-19
* Fix typo causing missing proof-shell-pre-interrupt-hook.Gravatar David Aspinall2000-06-19
* Fix typoGravatar David Aspinall2000-06-19
* Updated list of helpers. TypoGravatar David Aspinall2000-06-19
* proper function-menu (fume) setup;Gravatar Makarius Wenzel2000-06-16
* proper indentation setup;Gravatar Makarius Wenzel2000-06-16
* proper indentation;Gravatar Makarius Wenzel2000-06-16
* proof-script-find-next-entity: support list of match items;Gravatar Makarius Wenzel2000-06-16
* proof-script-next-entity-regexps: admit list of MATCHNOS;Gravatar Makarius Wenzel2000-06-16
* Set version tag for new release.Gravatar David Aspinall2000-06-16
* Renamed x symbol language name to isabelle (rather big for status line, unfor...Gravatar David Aspinall2000-06-16
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
* Added pgcustom x-symbol-language to allow different language name than proof ...Gravatar David Aspinall2000-06-16
* Deleted files.Gravatar David Aspinall2000-06-16
* Renamed fileGravatar David Aspinall2000-06-16
* Note about new indentation code and current buggy stateGravatar David Aspinall2000-06-16
* Added new section on updates for future Emacs versionsGravatar David Aspinall2000-06-15
* UpdatedGravatar David Aspinall2000-06-15
* Note to mergeGravatar David Aspinall2000-06-15
* First attempt at using new indentation for Isabelle. Utterly broken.Gravatar David Aspinall2000-06-15
* Support toolbar in gtk-xemacsGravatar David Aspinall2000-06-15
* More comments at top of fileGravatar David Aspinall2000-06-15
* Web addr noteGravatar David Aspinall2000-06-15
* Improved some docstrings.Gravatar David Aspinall2000-06-15
* Elaborated on where to find example fileGravatar David Aspinall2000-06-15
* new indentation setup;Gravatar Makarius Wenzel2000-06-10
* Message about packages needed (incomplete)Gravatar David Aspinall2000-06-09
* Removed spurious requires.Gravatar David Aspinall2000-06-09
* Updated magic.Gravatar David Aspinall2000-06-09
* Load a couple more file manually.Gravatar David Aspinall2000-06-09
* Strange ? got in by accident.Gravatar David Aspinall2000-06-09
* Set version tag for new release.Gravatar David Aspinall2000-06-09
* CommentGravatar David Aspinall2000-06-09
* Remove toolbar and menubar from windows in multiple frame mode.Gravatar David Aspinall2000-06-09
* Bug in file colouringGravatar David Aspinall2000-06-09
* fixed show_sorts;Gravatar Makarius Wenzel2000-06-09
* proof-shell-error-regexp;Gravatar Makarius Wenzel2000-06-09
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* isar-keywords-proof-open/close;Gravatar Makarius Wenzel2000-06-08
* proper indentation;Gravatar Makarius Wenzel2000-06-08
* adapted to new indentation setup;Gravatar Makarius Wenzel2000-06-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 23:39:23 +0000