aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
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-05-23Fix from Gerwin to repair groupingDavid Aspinall
2003-05-20Version from Gerwin with performance fixesDavid Aspinall
2003-05-20Version without match save, and disabling isar-match-antiq.David Aspinall
2003-04-25Disable fontification of antiquotation because of buggy interaction with font...David Aspinall
2003-04-15Remove isa-mode from automode alist, to allow SML mode in preferenceDavid Aspinall
2003-04-15Save match data in font-locking function for antiquotations (patch from CW).David Aspinall
2003-02-22New files.David Aspinall
2003-02-22Move x-sym config to x-symbol-isar.elDavid Aspinall
2003-02-19Documentation.David Aspinall
2003-02-19Updated.David Aspinall
2003-02-18Test with -- short comments. DocsDavid Aspinall
2003-02-18New files.David Aspinall
2003-02-18Documentation.David Aspinall
2003-02-18Decoration to show off MMM modeDavid Aspinall
2003-02-17Revert to old isar-ids-to-regexpDavid 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-11Remove comment about selecting PG/Isar.David Aspinall
2002-09-11Shorten mode names. Comment about parsing prob.David Aspinall
2002-09-11Source of parsing problem discovered and explained.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-16Updated.David Aspinall
2002-08-16Use shared span menuDavid Aspinall
2002-08-16Name changes; span menu extensions; load theorem dependencies patch.David Aspinall
2002-08-12Remove comment at the end testing feature. See etc/isar/Parsing.thy instead.David Aspinall
2002-08-12Enable variable highlighting in case experimental features enabled.David Aspinall
2002-08-12UpdatedDavid Aspinall
2002-08-09Deleted fileDavid 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-17Update versions/TODODavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Add more nagsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 08:01:26 +0000