aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updated magic.Gravatar David Aspinall2000-06-09
* Load a couple more file manually.Gravatar David Aspinall2000-06-09
* Strange ? got in by accident.Gravatar David Aspinall2000-06-09
* Set version tag for new release.Gravatar David Aspinall2000-06-09
* CommentGravatar David Aspinall2000-06-09
* Remove toolbar and menubar from windows in multiple frame mode.Gravatar David Aspinall2000-06-09
* Bug in file colouringGravatar David Aspinall2000-06-09
* fixed show_sorts;Gravatar Makarius Wenzel2000-06-09
* proof-shell-error-regexp;Gravatar Makarius Wenzel2000-06-09
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* isar-keywords-proof-open/close;Gravatar Makarius Wenzel2000-06-08
* proper indentation;Gravatar Makarius Wenzel2000-06-08
* adapted to new indentation setup;Gravatar Makarius Wenzel2000-06-08
* rewrote code from scratch: faster, easier to configure; now enabled by default;Gravatar Makarius Wenzel2000-06-08
* settings for new indentation setup;Gravatar Makarius Wenzel2000-06-08
* added proof-looking-at-safe, proof-looking-at-syntactic-context;Gravatar Makarius Wenzel2000-06-08
* completely new indentation setup: faster, easier to configure;Gravatar Makarius Wenzel2000-06-08
* basic setup for new indentation code;Gravatar Makarius Wenzel2000-06-08
* proper indentation;Gravatar Makarius Wenzel2000-06-08
* Improved indentation code; enabled by default;Gravatar Makarius Wenzel2000-06-08
* Failed attempted hack to support ML files in isar mode (see comments in isar-...Gravatar David Aspinall2000-06-07
* Removed disable of simp tracing from enable/disable pr, desired functionality...Gravatar David Aspinall2000-06-07
* Set version tag for new release.Gravatar David Aspinall2000-06-06
* todo for C-c C-l to fix pointGravatar David Aspinall2000-06-06
* Make distclean rather than clean do the CVS pruning.Gravatar David Aspinall2000-06-06
* Added special hack for Isar to include proof-terminal-char in sent string.Gravatar David Aspinall2000-06-06
* Allowed ; to terminate a command by including it in regexp for cmdstartGravatar David Aspinall2000-06-06
* isar-save-with-hole-regexp: proof-no-regexp;Gravatar Makarius Wenzel2000-06-05
* proof-indent-commands-regexp: use proof-no-regexp;Gravatar Makarius Wenzel2000-06-05
* improved isabelle-verbatim-regexp: use \` \' instead of ^ $;Gravatar Makarius Wenzel2000-06-05
* fixed proof-anchor-regexp: use \` instead of ^;Gravatar Makarius Wenzel2000-06-05
* Removed defunct commentsGravatar David Aspinall2000-06-05
* Temporary bug fix to solve nil span error messageGravatar David Aspinall2000-06-05
* Updated.Gravatar David Aspinall2000-06-05
* proof-next-error, proof-display-some-buffersGravatar David Aspinall2000-06-05
* Added paragraph and index entry explaining prefix arguments,Gravatar David Aspinall2000-06-05
* Added proof-next-error to menu.Gravatar David Aspinall2000-06-05
* Added settings for proof-next-error.Gravatar David Aspinall2000-06-05
* Added miscellaneous commands section, with proof-display-some-buffersGravatar David Aspinall2000-06-05
* proof-clean-buffer: clear next error flag if buffer is response.Gravatar David Aspinall2000-06-05
* Tweaked some docstrings.Gravatar David Aspinall2000-06-05
* Added proof-next-error.Gravatar David Aspinall2000-06-05
* Updated to add proof-next-error.Gravatar David Aspinall2000-06-05
* fixed output syntax table;Gravatar Makarius Wenzel2000-06-05
* proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!Gravatar Makarius Wenzel2000-06-04
* proof-re-search-forward/backward: observe proof-case-fold-search;Gravatar Makarius Wenzel2000-06-04
* replaced isa-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* added isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* replaced isar-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 23:37:05 +0000