aboutsummaryrefslogtreecommitdiff
path: root/isar/isar.el
AgeCommit message (Expand)Author
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
2002-07-18Use x-symbol-enable switch to see whether to include sub/super/bold flks.David Aspinall
2002-07-18Fix goals font lock keywords.David Aspinall
2002-07-18Fix sub/sups; defer loading x-symbol-isabelle.David Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-17Support subterm help facilityDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Add more nagsDavid Aspinall
2002-07-16Revert some premature changes in x-sym supportDavid Aspinall
2002-07-01Adjust load order, and try to load a good isar-keywords file. Add several FI...David Aspinall
2002-06-24Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].David Aspinall
2002-06-21GPL updateDavid Aspinall
2002-06-08Fix bug in string syntax in isar-strip-terminators: did this work correctly b...David Aspinall
2002-05-10tuned isar-strip-terminators;Makarius Wenzel
2002-05-03tuned comment;Makarius Wenzel
2002-05-03tuned proof-next-error setup;Makarius Wenzel
2002-05-03Added support for proof-shell-next-errorDavid Aspinall
2002-05-03Add support for proof-next-error.David Aspinall
2002-02-12observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;Makarius Wenzel
2002-02-08more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;Makarius Wenzel
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 13:09:25 +0000