| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-06-15 | Support toolbar in gtk-xemacs | David Aspinall | |
| 2000-06-15 | More comments at top of file | David Aspinall | |
| 2000-06-15 | Web addr note | David Aspinall | |
| 2000-06-15 | Improved some docstrings. | David Aspinall | |
| Simplified face configuration by using auxiliary macro. Now also works for gtk-xemacs. Experimented with removing spurious face alias constants. | |||
| 2000-06-15 | Elaborated on where to find example file | David Aspinall | |
| 2000-06-10 | new indentation setup; | Makarius Wenzel | |
| 2000-06-09 | Message about packages needed (incomplete) | David Aspinall | |
| 2000-06-09 | Removed spurious requires. | David Aspinall | |
| 2000-06-09 | Updated magic. | David Aspinall | |
| 2000-06-09 | Load a couple more file manually. | David Aspinall | |
| 2000-06-09 | Strange ? got in by accident. | David Aspinall | |
| 2000-06-09 | Set version tag for new release. | David Aspinall | |
| 2000-06-09 | Comment | David Aspinall | |
| 2000-06-09 | Remove toolbar and menubar from windows in multiple frame mode. | David Aspinall | |
| 2000-06-09 | Bug in file colouring | David Aspinall | |
| 2000-06-09 | fixed show_sorts; | Makarius Wenzel | |
| 2000-06-09 | proof-shell-error-regexp; | Makarius Wenzel | |
| 2000-06-08 | new indentation setup; | Makarius Wenzel | |
| completion-table: use isar-keywords-major; | |||
| 2000-06-08 | new indentation setup; | Makarius Wenzel | |
| 2000-06-08 | isar-keywords-proof-open/close; | Makarius Wenzel | |
| 2000-06-08 | proper indentation; | Makarius Wenzel | |
| 2000-06-08 | adapted to new indentation setup; | Makarius Wenzel | |
| 2000-06-08 | rewrote code from scratch: faster, easier to configure; now enabled by default; | Makarius Wenzel | |
| 2000-06-08 | settings for new indentation setup; | Makarius Wenzel | |
| 2000-06-08 | added proof-looking-at-safe, proof-looking-at-syntactic-context; | Makarius Wenzel | |
| removed proof-indent-commands-regexp; | |||
| 2000-06-08 | completely new indentation setup: faster, easier to configure; | Makarius Wenzel | |
| now enabled by default; | |||
| 2000-06-08 | basic setup for new indentation code; | Makarius Wenzel | |
| 2000-06-08 | proper indentation; | Makarius Wenzel | |
| 2000-06-08 | Improved indentation code; enabled by default; | Makarius Wenzel | |
| 2000-06-07 | Failed attempted hack to support ML files in isar mode (see comments in ↵ | David Aspinall | |
| isar-preprocessing). | |||
| 2000-06-07 | Removed disable of simp tracing from enable/disable pr, desired ↵ | David Aspinall | |
| functionality now in Isabelle's update_thy for PG | |||
| 2000-06-06 | Set version tag for new release. | David Aspinall | |
| 2000-06-06 | todo for C-c C-l to fix point | David Aspinall | |
| 2000-06-06 | Make distclean rather than clean do the CVS pruning. | David Aspinall | |
| 2000-06-06 | Added special hack for Isar to include proof-terminal-char in sent string. | David Aspinall | |
| 2000-06-06 | Allowed ; to terminate a command by including it in regexp for cmdstart | David Aspinall | |
| Added completion for Isar keywords and X-symbol token names. | |||
| 2000-06-05 | isar-save-with-hole-regexp: proof-no-regexp; | Makarius Wenzel | |
| 2000-06-05 | proof-indent-commands-regexp: use proof-no-regexp; | Makarius Wenzel | |
| isar-global-save-command-p: more robust wrt. empty prev span (malformed!?); isar-preprocessing: fixed terminator regexp; | |||
| 2000-06-05 | improved isabelle-verbatim-regexp: use \` \' instead of ^ $; | Makarius Wenzel | |
| 2000-06-05 | fixed proof-anchor-regexp: use \` instead of ^; | Makarius Wenzel | |
| added proof-no-regexp; | |||
| 2000-06-05 | Removed defunct comments | David Aspinall | |
| 2000-06-05 | Temporary bug fix to solve nil span error message | David Aspinall | |
| 2000-06-05 | Updated. | David Aspinall | |
| 2000-06-05 | proof-next-error, proof-display-some-buffers | David Aspinall | |
| 2000-06-05 | Added paragraph and index entry explaining prefix arguments, | David Aspinall | |
| and some more on keystrokes, for the Emacs-impoverished users. Added doc of proof-display-some-buffers | |||
| 2000-06-05 | Added proof-next-error to menu. | David Aspinall | |
| 2000-06-05 | Added settings for proof-next-error. | David Aspinall | |
| Added switch off of simplifier tracing to quiet command (not good enough -- need help from Isabelle for that really). | |||
| 2000-06-05 | Added miscellaneous commands section, with proof-display-some-buffers | David Aspinall | |
| function. Bind C-c C-l to proof-display-some-buffers, add to buffer menu. Move start/exit to proof assistant specific menu. Added proof-next-error to menu. | |||
| 2000-06-05 | proof-clean-buffer: clear next error flag if buffer is response. | David Aspinall | |
| 2000-06-05 | Tweaked some docstrings. | David Aspinall | |
| Added proof-shell-next-error-regexp and friends. Bind proof-shell-next-error in proof-universal-keys. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |