aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isa-syntax.el
Commit message (Expand)AuthorAge
* Update email and web addressesGravatar David Aspinall2004-02-08
* Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.Gravatar David Aspinall2002-06-30
* GPL updateGravatar David Aspinall2002-06-21
* Updated list of SML keywordsGravatar David Aspinall2002-04-24
* Add syntax highlighting cahanges from Lucas DixonGravatar David Aspinall2002-04-23
* proper indentation setup;Gravatar Makarius Wenzel2000-06-16
* fixed output syntax table;Gravatar Makarius Wenzel2000-06-05
* replaced isa-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* DocstringGravatar David Aspinall2000-05-29
* Additions to font lock on outputGravatar David Aspinall2000-05-29
* tuned faces;Gravatar Makarius Wenzel1999-11-22
* Cleanups and a bit more highlightingGravatar David Aspinall1999-11-16
* Next round of fixups for font-lock and x-symbol.Gravatar David Aspinall1999-11-11
* Extensive fixes for x-symbol and font-lock.Gravatar David Aspinall1999-11-11
* isa-keywords-save: removed "result";Gravatar Makarius Wenzel1999-10-26
* Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command.Gravatar David Aspinall1999-10-06
* tuned isa-init-output-syntax-table;Gravatar Makarius Wenzel1999-09-30
* Fix for proof-shell-proof-completed-regexpGravatar David Aspinall1999-09-21
* added bind_thms;Gravatar Makarius Wenzel1999-09-03
* added ALLGOALS;Gravatar Makarius Wenzel1999-08-29
* added qed_spec_mp;Gravatar Makarius Wenzel1999-08-25
* Maintainer addressesGravatar David Aspinall1999-08-23
* Improved syntax by copying from isar-syntax.el.Gravatar David Aspinall1999-08-23
* Disabled binder regexp font lockingGravatar David Aspinall1999-08-20
* isa-init-syntax-table moved here from isa.el;Gravatar Makarius Wenzel1999-08-18
* Removed extra parenthesis.Gravatar David Aspinall1999-07-03
* fixed some regexp via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneralGravatar David Aspinall1998-11-18
* Fixed a regexp.Gravatar David Aspinall1998-11-12
* More regexp improvementsGravatar David Aspinall1998-11-03
* Work on improving regular expressions for Isabelle.Gravatar David Aspinall1998-11-03
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* Fixes for multiple files. More defcustoms.Gravatar David Aspinall1998-10-29
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* Important regular expression fixes:Gravatar David Aspinall1998-10-12
* Removed proof-shell-error-regexp's match on warnings -- wrong!Gravatar David Aspinall1998-10-12
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Error regular expression also matches warnings from IsabelleGravatar David Aspinall1998-09-23
* Fixes to syntax and startup function.Gravatar David Aspinall1998-09-11
* Added Id to headers.Gravatar David Aspinall1998-09-09
* More features working. Added example.Gravatar David Aspinall1998-09-08
* Renamed/added defcustom support.Gravatar David Aspinall1998-09-03