aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isa-syntax.el
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 07:54:06 +0000