aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* updated;Gravatar Makarius Wenzel2000-06-04
* replaced isar-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* proof-segment-up-to-cmdstart: exclude leading blanks from command string;Gravatar Makarius Wenzel2000-06-04
* improved proof-segment-up-to-cmdstart: handle overlap of commandGravatar Makarius Wenzel2000-06-03
* { } are back;Gravatar Makarius Wenzel2000-06-03
* Added 3 entries in the Coq menu: Print Check and HintsGravatar Pierre Courtieu2000-06-02
* Set version tag for new release.Gravatar David Aspinall2000-06-01
* UpdatedGravatar David Aspinall2000-06-01
* Added autoloadGravatar David Aspinall2000-06-01
* Added links to latest manualGravatar David Aspinall2000-06-01
* File used to test new parsing mechanism.Gravatar David Aspinall2000-06-01
* New test files for PG kit.Gravatar David Aspinall2000-06-01
* Added proof-comment-{start,end}-regexp.Gravatar David Aspinall2000-06-01
* UpdatedGravatar David Aspinall2000-06-01
* Note about generalizing settings mechanismGravatar David Aspinall2000-06-01
* Removed time setting, added proof-assistant-settings-cmd to init string, but ...Gravatar David Aspinall2000-06-01
* Added a couple of settings for CoqGravatar David Aspinall2000-06-01
* Allow two strings for boolean settings to handle non-uniformity in CoqGravatar David Aspinall2000-06-01
* Use proof-running-on-XEmacs variable.Gravatar David Aspinall2000-06-01
* Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...Gravatar David Aspinall2000-06-01
* Plea for debugging in FSF EmacsGravatar David Aspinall2000-06-01
* Updated, mentioning new parsing function mechanismsGravatar David Aspinall2000-06-01
* Remove spurious spacesGravatar David Aspinall2000-06-01
* Removed now spurious semicolons, 8-).Gravatar David Aspinall2000-06-01
* Temporarily removed keywords { and } for new parsing mechanismGravatar David Aspinall2000-06-01
* Remove setting of proof-segment-up-toGravatar David Aspinall2000-06-01
* New fileGravatar David Aspinall2000-06-01
* New parsing functions proof-segment-up-to-cmd{start,end}Gravatar David Aspinall2000-06-01
* Changed 'complete to 'proof-script-complete to use proof-case-fold-search.Gravatar David Aspinall2000-06-01
* Made require on proof-menu instead of proof-script.Gravatar David Aspinall2000-06-01
* Use proof-comment-{start,end}-regexpGravatar David Aspinall2000-06-01
* Added proof-comment-start-regexp, proof-commend-end-regexp.Gravatar David Aspinall2000-06-01
* Remove spurious requires.Gravatar David Aspinall2000-06-01
* Commented out global-timing since it seems to be Isabelle99-1 specific.Gravatar David Aspinall2000-05-31
* Added old completion table from Isamode. Added code to automatically add com...Gravatar David Aspinall2000-05-31
* Fix keybinding for completion. Add completion to menubar.Gravatar David Aspinall2000-05-31
* Added hack to completion.el to avoid adding every prefix as completion.Gravatar David Aspinall2000-05-31
* Compatibility with completion package.Gravatar David Aspinall2000-05-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 14:52:33 +0000