aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* rewrote code from scratch: faster, easier to configure; now enabled by default;Gravatar Makarius Wenzel2000-06-08
* settings for new indentation setup;Gravatar Makarius Wenzel2000-06-08
* added proof-looking-at-safe, proof-looking-at-syntactic-context;Gravatar Makarius Wenzel2000-06-08
* completely new indentation setup: faster, easier to configure;Gravatar Makarius Wenzel2000-06-08
* basic setup for new indentation code;Gravatar Makarius Wenzel2000-06-08
* proper indentation;Gravatar Makarius Wenzel2000-06-08
* Improved indentation code; enabled by default;Gravatar Makarius Wenzel2000-06-08
* Failed attempted hack to support ML files in isar mode (see comments in isar-...Gravatar David Aspinall2000-06-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 02:10:47 +0000