aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Collapse)Author
2005-03-25Remove junkDavid Aspinall
2005-03-23Use another symbolDavid Aspinall
2005-02-15Changes from Clemens Ballarin for large X-Symbol fontsDavid Aspinall
2005-02-13Added simple testing framework (in progress)David Aspinall
2004-10-07Remove print draft from menuDavid Aspinall
2004-08-25TuneDavid Aspinall
2004-08-25TuneDavid Aspinall
2004-08-10Change syntax table for \ from word constituent to escape character.David Aspinall
Add output-font-lock-keywords for tvars and vars without ?'s (probably redundant without low-level output mode change: pending).
2004-07-23Fix display_drafts -> print_draftsDavid Aspinall
2004-06-17Fix index number back for isar-undo-remove-regexp, change isar-remove instead.David Aspinall
2004-06-17Fix grouping for isar-generic-expression.David Aspinall
2004-06-16Fix error regexps for matching additional comma printed in position [NB: for ↵David Aspinall
PGIP patched position.ML].
2004-06-16Last change: added also isar-display-draft isar-print-draft forDavid Aspinall
repository versions of Isabelle.
2004-06-16Fix for name matching changes grouping in isar-undo-remove-regexp.David Aspinall
2004-06-16Continue the grouping bug fix.David Aspinall
2004-06-16Fix another bug introduced by Gerwin's shy grouping "optimisations"...David Aspinall
2004-06-13Add functions for displaying/printing draft.David Aspinall
2004-05-09Set comment-quote-nested (for Emacs/XEmacs 21.5)David Aspinall
2004-05-06Patch from Brother MakariusDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-17Add shortcuts for new X-Symbol sequences.David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵David Aspinall
for Isabelle.
2004-04-17imenu todoDavid Aspinall
2004-04-16Updated.David Aspinall
2004-04-16New files.David Aspinall
2004-04-16fix typo in isar-long-id-stuffGerwin Klein
2004-04-16fix typo in isar-long-id-stuffGerwin Klein
2004-04-15Updated.David Aspinall
2004-04-15Set imenu-syntax-alist. Seems to solve prefix/underscore issue in SpeedbarDavid Aspinall
2004-04-15Prevent setting WM title so Emacs can do its own thingDavid Aspinall
2004-04-14New files.David Aspinall
2004-04-14Typo in imenu setup (not sure how that got committed)David Aspinall
2004-04-14Updated.David Aspinall
2004-04-14Add imenu support.David Aspinall
2004-04-14Func-menu: fix bug in locale regexp. Add imenu support.David Aspinall
2004-04-14Fix to proof-goal-with-hole-result to agree with isar-syntax.elDavid Aspinall
2004-04-14Fixes for function menu. Remove unnamed entities.David Aspinall
2004-04-14fixed regexp problem with function menuGerwin Klein
2004-04-13Set proof-goal-with-hole-result to account for use of shy grouping in ↵David Aspinall
goal-with-hole regexp.
2004-02-08Update email and web addressesDavid Aspinall
2003-12-23removed bold, no longer supported by x-symbolGerwin Klein
2003-10-16allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gerwin Klein
2003-10-05Remove proof-shell-interactive-input-regexp again!David Aspinall
2003-10-05Set proof-shell-interactive-input-regexpDavid Aspinall
2003-09-24New files.David Aspinall
2003-09-05Yet another fix from Sebastian Skalberg.Stefan Berghofer
2003-08-29Corrected fix from Sebastian Skalberg.Stefan Berghofer
2003-08-28Fix from Sebastian Skalberg <skalberg@in.tum.de>David Aspinall
2003-08-20Fix SML comment syntax oopsDavid Aspinall
2003-08-19Use newer undo function ProofGeneral.undo (no output undo).David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 17:34:09 +0000