Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated list of SML keywords | 2002-04-24 | |
| | |||
* | Add syntax highlighting cahanges from Lucas Dixon | 2002-04-23 | |
| | |||
* | proper indentation setup; | 2000-06-16 | |
| | |||
* | fixed output syntax table; | 2000-06-05 | |
| | |||
* | replaced isa-verbatim by isabelle-verbatim; | 2000-06-04 | |
| | |||
* | Docstring | 2000-05-29 | |
| | |||
* | Additions to font lock on output | 2000-05-29 | |
| | |||
* | tuned faces; | 1999-11-22 | |
| | |||
* | Cleanups and a bit more highlighting | 1999-11-16 | |
| | |||
* | Next round of fixups for font-lock and x-symbol. | 1999-11-11 | |
| | |||
* | Extensive fixes for x-symbol and font-lock. | 1999-11-11 | |
| | |||
* | isa-keywords-save: removed "result"; | 1999-10-26 | |
| | | | | | | isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim; | ||
* | Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command. | 1999-10-06 | |
| | |||
* | tuned isa-init-output-syntax-table; | 1999-09-30 | |
| | | | | | | removed isa-binder-regexp (obsolete); remove isa-font-lock-terms; proper isa-output-font-lock-keywords-1; | ||
* | Fix for proof-shell-proof-completed-regexp | 1999-09-21 | |
| | |||
* | added bind_thms; | 1999-09-03 | |
| | | | | | | | added no_qed; more tacticals; removed isa-tactics (didn't make much sense); isa-goal-command-regexp accomodates "val ... =" part; | ||
* | added ALLGOALS; | 1999-08-29 | |
| | |||
* | added qed_spec_mp; | 1999-08-25 | |
| | |||
* | Maintainer addresses | 1999-08-23 | |
| | |||
* | Improved syntax by copying from isar-syntax.el. | 1999-08-23 | |
| | | | | Begun on section for Isabelle output syntax. | ||
* | Disabled binder regexp font locking | 1999-08-20 | |
| | |||
* | isa-init-syntax-table moved here from isa.el; | 1999-08-18 | |
| | |||
* | Removed extra parenthesis. | 1999-07-03 | |
| | |||
* | fixed some regexp via proof-anchor-regexp; | 1999-07-02 | |
| | |||
* | Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral | 1998-11-18 | |
| | |||
* | Fixed a regexp. | 1998-11-12 | |
| | |||
* | More regexp improvements | 1998-11-03 | |
| | |||
* | Work on improving regular expressions for Isabelle. | 1998-11-03 | |
| | |||
* | fixed bug with font-lock face names | 1998-11-03 | |
| | |||
* | o added support for byte-compilation | 1998-11-01 | |
| | | | | | | | o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | ||
* | Fixes for multiple files. More defcustoms. | 1998-10-29 | |
| | |||
* | Begun work on clean byte compilation / clarifying interfaces. | 1998-10-27 | |
| | |||
* | Replaced remaining face defs with defface calls. | 1998-10-23 | |
| | | | | | Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks. | ||
* | Important regular expression fixes: | 1998-10-12 | |
| | | | | | | -error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp. | ||
* | Removed proof-shell-error-regexp's match on warnings -- wrong! | 1998-10-12 | |
| | |||
* | changed maintainer information to lego@dcs and isabelle@dcs . | 1998-10-02 | |
| | |||
* | Updated maintainer tags to remove lego email address. | 1998-10-01 | |
| | |||
* | Error regular expression also matches warnings from Isabelle | 1998-09-23 | |
| | |||
* | Fixes to syntax and startup function. | 1998-09-11 | |
| | |||
* | Added Id to headers. | 1998-09-09 | |
| | |||
* | More features working. Added example. | 1998-09-08 | |
| | |||
* | Renamed/added defcustom support. | 1998-09-03 | |