aboutsummaryrefslogtreecommitdiff
path: root/isa/isa-syntax.el
AgeCommit message (Collapse)Author
2006-12-05Deleted fileDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2002-06-30Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.David Aspinall
2002-06-21GPL updateDavid Aspinall
2002-04-24Updated list of SML keywordsDavid Aspinall
2002-04-23Add syntax highlighting cahanges from Lucas DixonDavid Aspinall
2000-06-16proper indentation setup;Makarius Wenzel
2000-06-05fixed output syntax table;Makarius Wenzel
2000-06-04replaced isa-verbatim by isabelle-verbatim;Makarius Wenzel
2000-05-29DocstringDavid Aspinall
2000-05-29Additions to font lock on outputDavid Aspinall
1999-11-22tuned faces;Makarius Wenzel
1999-11-16Cleanups and a bit more highlightingDavid Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-10-26isa-keywords-save: removed "result";Makarius Wenzel
isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim;
1999-10-06Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command.David Aspinall
1999-09-30tuned isa-init-output-syntax-table;Makarius Wenzel
removed isa-binder-regexp (obsolete); remove isa-font-lock-terms; proper isa-output-font-lock-keywords-1;
1999-09-21Fix for proof-shell-proof-completed-regexpDavid Aspinall
1999-09-03added bind_thms;Makarius Wenzel
added no_qed; more tacticals; removed isa-tactics (didn't make much sense); isa-goal-command-regexp accomodates "val ... =" part;
1999-08-29added ALLGOALS;Makarius Wenzel
1999-08-25added qed_spec_mp;Makarius Wenzel
1999-08-23Maintainer addressesDavid Aspinall
1999-08-23Improved syntax by copying from isar-syntax.el.David Aspinall
Begun on section for Isabelle output syntax.
1999-08-20Disabled binder regexp font lockingDavid Aspinall
1999-08-18isa-init-syntax-table moved here from isa.el;Makarius Wenzel
1999-07-03Removed extra parenthesis.David Aspinall
1999-07-02fixed some regexp via proof-anchor-regexp;Makarius Wenzel
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
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
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
Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks.
1998-10-12Important regular expression fixes:David Aspinall
-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
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 02:02:38 +0000