aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-06-08rewrote code from scratch: faster, easier to configure; now enabled by default;Makarius Wenzel
2000-06-08settings for new indentation setup;Makarius Wenzel
2000-06-08added proof-looking-at-safe, proof-looking-at-syntactic-context;Makarius Wenzel
2000-06-08completely new indentation setup: faster, easier to configure;Makarius Wenzel
2000-06-08basic setup for new indentation code;Makarius Wenzel
2000-06-08proper indentation;Makarius Wenzel
2000-06-08Improved indentation code; enabled by default;Makarius Wenzel
2000-06-07Failed attempted hack to support ML files in isar mode (see comments in isar-...David Aspinall
2000-06-07Removed disable of simp tracing from enable/disable pr, desired functionality...David Aspinall
2000-06-06Set version tag for new release.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 04:13:57 +0000