aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-06-04proof-re-search-forward/backward: observe proof-case-fold-search;Makarius Wenzel
2000-06-04replaced isa-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-04added isabelle-verbatim;Makarius Wenzel
2000-06-04replaced isar-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-04updated;Makarius Wenzel
2000-06-04replaced isar-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-04proof-segment-up-to-cmdstart: exclude leading blanks from command string;Makarius Wenzel
2000-06-03improved proof-segment-up-to-cmdstart: handle overlap of commandMakarius Wenzel
2000-06-03{ } are back;Makarius Wenzel
2000-06-02Added 3 entries in the Coq menu: Print Check and HintsPierre Courtieu
2000-06-01Set version tag for new release.David Aspinall
2000-06-01UpdatedDavid Aspinall
2000-06-01Added autoloadDavid Aspinall
2000-06-01Added links to latest manualDavid Aspinall
2000-06-01File used to test new parsing mechanism.David Aspinall
2000-06-01New test files for PG kit.David Aspinall
2000-06-01Added proof-comment-{start,end}-regexp.David Aspinall
2000-06-01UpdatedDavid Aspinall
2000-06-01Note about generalizing settings mechanismDavid Aspinall
2000-06-01Removed time setting, added proof-assistant-settings-cmd to init string, but ...David Aspinall
2000-06-01Added a couple of settings for CoqDavid Aspinall
2000-06-01Allow two strings for boolean settings to handle non-uniformity in CoqDavid Aspinall
2000-06-01Use proof-running-on-XEmacs variable.David Aspinall
2000-06-01Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...David Aspinall
2000-06-01Plea for debugging in FSF EmacsDavid Aspinall
2000-06-01Updated, mentioning new parsing function mechanismsDavid Aspinall
2000-06-01Remove spurious spacesDavid Aspinall
2000-06-01Removed now spurious semicolons, 8-).David Aspinall
2000-06-01Temporarily removed keywords { and } for new parsing mechanismDavid Aspinall
2000-06-01Remove setting of proof-segment-up-toDavid Aspinall
2000-06-01New fileDavid Aspinall
2000-06-01New parsing functions proof-segment-up-to-cmd{start,end}David Aspinall
2000-06-01Changed 'complete to 'proof-script-complete to use proof-case-fold-search.David Aspinall
2000-06-01Made require on proof-menu instead of proof-script.David Aspinall
2000-06-01Use proof-comment-{start,end}-regexpDavid Aspinall
2000-06-01Added proof-comment-start-regexp, proof-commend-end-regexp.David Aspinall
2000-06-01Remove spurious requires.David Aspinall
2000-05-31Commented out global-timing since it seems to be Isabelle99-1 specific.David Aspinall
2000-05-31Added old completion table from Isamode. Added code to automatically add com...David Aspinall
2000-05-31Fix keybinding for completion. Add completion to menubar.David Aspinall
2000-05-31Added hack to completion.el to avoid adding every prefix as completion.David Aspinall
2000-05-31Compatibility with completion package.David Aspinall
2000-05-31Fixes for completion support.David Aspinall
2000-05-30improved isar-goals-font-lock-keywords;Makarius Wenzel
2000-05-30Set version tag for new release.David Aspinall
2000-05-30Added missing command terminators for proof-xsym commandsDavid Aspinall
2000-05-30Hairy parsing for Isar. Not finished (or working) yet.David Aspinall
2000-05-30Arg for proof-minibuffer-cmd: compact whitespace in region.David Aspinall
2000-05-30Fixed typo causing bug. Generic parsing updated (still wip)David Aspinall
2000-05-30handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 12:22:09 +0000