aboutsummaryrefslogtreecommitdiff
path: root/isar/isar.el
AgeCommit message (Expand)Author
2005-08-26proof-defshortcut isar-local: \<^loc>;Makarius Wenzel
2005-08-14Fix isar-shell-adjust-line-width for mutliple frame mode.David Aspinall
2005-08-09next-error-regexp seems to have broken; fix it against current Isabelle CVS.David Aspinall
2005-08-08proof-defshortcut isar-bold;Makarius Wenzel
2005-05-22removed find_rwrites, print_intros;Makarius Wenzel
2005-02-15Changes from Clemens Ballarin for large X-Symbol fontsDavid Aspinall
2004-10-07Remove print draft from menuDavid Aspinall
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-16Fix error regexps for matching additional comma printed in position [NB: for ...David Aspinall
2004-06-16Last change: added also isar-display-draft isar-print-draft forDavid Aspinall
2004-06-16Fix for name matching changes grouping in isar-undo-remove-regexp.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-17Add shortcuts for new X-Symbol sequences.David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-15Set imenu-syntax-alist. Seems to solve prefix/underscore issue in SpeedbarDavid Aspinall
2004-04-14Add imenu support.David Aspinall
2004-04-14Fix to proof-goal-with-hole-result to agree with isar-syntax.elDavid 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 goal-wi...David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-12-23removed bold, no longer supported by x-symbolGerwin Klein
2003-10-05Remove proof-shell-interactive-input-regexp again!David Aspinall
2003-10-05Set proof-shell-interactive-input-regexpDavid Aspinall
2003-06-08Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...David Aspinall
2003-06-08Set proof-shell-identifier-under-mouse-cmdDavid Aspinall
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-04-15Remove isa-mode from automode alist, to allow SML mode in preferenceDavid Aspinall
2003-02-22Move x-sym config to x-symbol-isar.elDavid Aspinall
2003-02-18Documentation.David Aspinall
2003-02-16Documentation.David Aspinall
2003-02-16Add backwards compatibility for old pre-PGIP settings mechanismDavid Aspinall
2003-02-03- Moved "show me" menu one level up in the menu hierarchyStefan Berghofer
2002-11-28DocstringDavid Aspinall
2002-11-21Updated.David Aspinall
2002-11-20Make proof-assistants-settings-cmd be evaluated at right time.David Aspinall
2002-11-18Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.David Aspinall
2002-11-08Add trigger for <pgip messagesDavid Aspinall
2002-09-11Shorten mode names. Comment about parsing prob.David Aspinall
2002-08-30Use old parser still for Isar for time being (see note in source)David Aspinall
2002-08-29Remove isabelle image from splash screenDavid Aspinall
2002-08-29New theorem deps settingsDavid Aspinall
2002-08-27proper setup for theorem dependencies;Makarius Wenzel
2002-08-16Use shared span menuDavid Aspinall
2002-08-16Name changes; span menu extensions; load theorem dependencies patch.David Aspinall
2002-08-12Enable variable highlighting in case experimental features enabled.David Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 08:58:03 +0000