aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-06-06todo for C-c C-l to fix pointDavid Aspinall
2000-06-06Make distclean rather than clean do the CVS pruning.David Aspinall
2000-06-06Added special hack for Isar to include proof-terminal-char in sent string.David Aspinall
2000-06-06Allowed ; to terminate a command by including it in regexp for cmdstartDavid Aspinall
2000-06-05isar-save-with-hole-regexp: proof-no-regexp;Makarius Wenzel
2000-06-05proof-indent-commands-regexp: use proof-no-regexp;Makarius Wenzel
2000-06-05improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Makarius Wenzel
2000-06-05fixed proof-anchor-regexp: use \` instead of ^;Makarius Wenzel
2000-06-05Removed defunct commentsDavid Aspinall
2000-06-05Temporary bug fix to solve nil span error messageDavid Aspinall
2000-06-05Updated.David Aspinall
2000-06-05proof-next-error, proof-display-some-buffersDavid Aspinall
2000-06-05Added paragraph and index entry explaining prefix arguments,David Aspinall
2000-06-05Added proof-next-error to menu.David Aspinall
2000-06-05Added settings for proof-next-error.David Aspinall
2000-06-05Added miscellaneous commands section, with proof-display-some-buffersDavid Aspinall
2000-06-05proof-clean-buffer: clear next error flag if buffer is response.David Aspinall
2000-06-05Tweaked some docstrings.David Aspinall
2000-06-05Added proof-next-error.David Aspinall
2000-06-05Updated to add proof-next-error.David Aspinall
2000-06-05fixed output syntax table;Makarius Wenzel
2000-06-04proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 13:30:26 +0000