aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-06-16proof-script-find-next-entity: support list of match items;Makarius Wenzel
2000-06-16proof-script-next-entity-regexps: admit list of MATCHNOS;Makarius Wenzel
2000-06-16Set version tag for new release.David Aspinall
2000-06-16Renamed x symbol language name to isabelle (rather big for status line, unfor...David Aspinall
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-16Added pgcustom x-symbol-language to allow different language name than proof ...David Aspinall
2000-06-16Deleted files.David Aspinall
2000-06-16Renamed fileDavid Aspinall
2000-06-16Note about new indentation code and current buggy stateDavid Aspinall
2000-06-15Added new section on updates for future Emacs versionsDavid Aspinall
2000-06-15UpdatedDavid Aspinall
2000-06-15Note to mergeDavid Aspinall
2000-06-15First attempt at using new indentation for Isabelle. Utterly broken.David Aspinall
2000-06-15Support toolbar in gtk-xemacsDavid Aspinall
2000-06-15More comments at top of fileDavid Aspinall
2000-06-15Web addr noteDavid Aspinall
2000-06-15Improved some docstrings.David Aspinall
2000-06-15Elaborated on where to find example fileDavid Aspinall
2000-06-10new indentation setup;Makarius Wenzel
2000-06-09Message about packages needed (incomplete)David Aspinall
2000-06-09Removed spurious requires.David Aspinall
2000-06-09Updated magic.David Aspinall
2000-06-09Load a couple more file manually.David Aspinall
2000-06-09Strange ? got in by accident.David Aspinall
2000-06-09Set version tag for new release.David Aspinall
2000-06-09CommentDavid Aspinall
2000-06-09Remove toolbar and menubar from windows in multiple frame mode.David Aspinall
2000-06-09Bug in file colouringDavid Aspinall
2000-06-09fixed show_sorts;Makarius Wenzel
2000-06-09proof-shell-error-regexp;Makarius Wenzel
2000-06-08new indentation setup;Makarius Wenzel
2000-06-08new indentation setup;Makarius Wenzel
2000-06-08isar-keywords-proof-open/close;Makarius Wenzel
2000-06-08proper indentation;Makarius Wenzel
2000-06-08adapted to new indentation setup;Makarius Wenzel
2000-06-08rewrote code from scratch: faster, easier to configure; now enabled by default;Makarius Wenzel
2000-06-08settings for new indentation setup;Makarius Wenzel
2000-06-08added proof-looking-at-safe, proof-looking-at-syntactic-context;Makarius Wenzel
2000-06-08completely new indentation setup: faster, easier to configure;Makarius Wenzel
2000-06-08basic setup for new indentation code;Makarius Wenzel
2000-06-08proper indentation;Makarius Wenzel
2000-06-08Improved indentation code; enabled by default;Makarius Wenzel
2000-06-07Failed attempted hack to support ML files in isar mode (see comments in isar-...David Aspinall
2000-06-07Removed disable of simp tracing from enable/disable pr, desired functionality...David Aspinall
2000-06-06Set version tag for new release.David Aspinall
2000-06-06todo for C-c C-l to fix pointDavid Aspinall
2000-06-06Make distclean rather than clean do the CVS pruning.David Aspinall
2000-06-06Added special hack for Isar to include proof-terminal-char in sent string.David Aspinall
2000-06-06Allowed ; to terminate a command by including it in regexp for cmdstartDavid Aspinall
2000-06-05isar-save-with-hole-regexp: proof-no-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-22 07:02:17 +0000