aboutsummaryrefslogtreecommitdiff
path: root/isa/isa-syntax.el
AgeCommit message (Expand)Author
1998-11-18Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneralDavid Aspinall
1998-11-12Fixed a regexp.David Aspinall
1998-11-03More regexp improvementsDavid Aspinall
1998-11-03Work on improving regular expressions for Isabelle.David Aspinall
1998-11-03fixed bug with font-lock face namesThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-29Fixes for multiple files. More defcustoms.David Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-23Replaced remaining face defs with defface calls.David Aspinall
1998-10-12Important regular expression fixes:David Aspinall
1998-10-12Removed proof-shell-error-regexp's match on warnings -- wrong!David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-23Error regular expression also matches warnings from IsabelleDavid Aspinall
1998-09-11Fixes to syntax and startup function.David Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-08More features working. Added example.David Aspinall
1998-09-03Renamed/added defcustom support.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 23:43:00 +0000