Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | replaced isar-verbatim by isabelle-verbatim; | 2000-06-04 | ||
| | | | | added isar-strip-terminators; | |||
* | updated; | 2000-06-04 | ||
| | ||||
* | replaced isar-verbatim by isabelle-verbatim; | 2000-06-04 | ||
| | | | | fixed output syntax table; | |||
* | proof-segment-up-to-cmdstart: exclude leading blanks from command string; | 2000-06-04 | ||
| | ||||
* | improved proof-segment-up-to-cmdstart: handle overlap of command | 2000-06-03 | ||
| | | | | prefix and comment/string (e.g. { vs {* in Isar); | |||
* | { } are back; | 2000-06-03 | ||
| | ||||
* | Added 3 entries in the Coq menu: Print Check and Hints | 2000-06-02 | ||
| | ||||
* | Set version tag for new release. | 2000-06-01 | ||
| | ||||
* | Updated | 2000-06-01 | ||
| | ||||
* | Added autoload | 2000-06-01 | ||
| | ||||
* | Added links to latest manual | 2000-06-01 | ||
| | ||||
* | File used to test new parsing mechanism. | 2000-06-01 | ||
| | ||||
* | New test files for PG kit. | 2000-06-01 | ||
| | ||||
* | Added proof-comment-{start,end}-regexp. | 2000-06-01 | ||
| | | | | | | Added proof-segment-up-to-{cmdstart,cmdend} and details of which is selected. Updated magic. | |||
* | Updated | 2000-06-01 | ||
| | ||||
* | Note about generalizing settings mechanism | 2000-06-01 | ||
| | ||||
* | Removed time setting, added proof-assistant-settings-cmd to init string, but ↵ | 2000-06-01 | ||
| | | | | commented out | |||
* | Added a couple of settings for Coq | 2000-06-01 | ||
| | ||||
* | Allow two strings for boolean settings to handle non-uniformity in Coq | 2000-06-01 | ||
| | ||||
* | Use proof-running-on-XEmacs variable. | 2000-06-01 | ||
| | ||||
* | Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias ↵ | 2000-06-01 | ||
| | | | | if already set. | |||
* | Plea for debugging in FSF Emacs | 2000-06-01 | ||
| | ||||
* | Updated, mentioning new parsing function mechanisms | 2000-06-01 | ||
| | ||||
* | Remove spurious spaces | 2000-06-01 | ||
| | ||||
* | Removed now spurious semicolons, 8-). | 2000-06-01 | ||
| | ||||
* | Temporarily removed keywords { and } for new parsing mechanism | 2000-06-01 | ||
| | ||||
* | Remove setting of proof-segment-up-to | 2000-06-01 | ||
| | ||||
* | New file | 2000-06-01 | ||
| | ||||
* | New parsing functions proof-segment-up-to-cmd{start,end} | 2000-06-01 | ||
| | | | | | | | Select new parsing function according to config variables Use proof-comment-{start,end}-regexp, and set default values in proof-config-done-related, from proof-comment-{start,end} New proof-script-complete which uses proof-case-fold-search | |||
* | Changed 'complete to 'proof-script-complete to use proof-case-fold-search. | 2000-06-01 | ||
| | ||||
* | Made require on proof-menu instead of proof-script. | 2000-06-01 | ||
| | ||||
* | Use proof-comment-{start,end}-regexp | 2000-06-01 | ||
| | ||||
* | Added proof-comment-start-regexp, proof-commend-end-regexp. | 2000-06-01 | ||
| | | | | Mention proof-script-complete in docstring for proof-case-fold-search. | |||
* | Remove spurious requires. | 2000-06-01 | ||
| | ||||
* | Commented out global-timing since it seems to be Isabelle99-1 specific. | 2000-05-31 | ||
| | ||||
* | Added old completion table from Isamode. Added code to automatically add ↵ | 2000-05-31 | ||
| | | | | completion for x-symbol tokens. | |||
* | Fix keybinding for completion. Add completion to menubar. | 2000-05-31 | ||
| | ||||
* | Added hack to completion.el to avoid adding every prefix as completion. | 2000-05-31 | ||
| | ||||
* | Compatibility with completion package. | 2000-05-31 | ||
| | ||||
* | Fixes for completion support. | 2000-05-31 | ||
| | ||||
* | improved isar-goals-font-lock-keywords; | 2000-05-30 | ||
| | ||||
* | Set version tag for new release. | 2000-05-30 | ||
| | ||||
* | Added missing command terminators for proof-xsym commands | 2000-05-30 | ||
| | ||||
* | Hairy parsing for Isar. Not finished (or working) yet. | 2000-05-30 | ||
| | ||||
* | Arg for proof-minibuffer-cmd: compact whitespace in region. | 2000-05-30 | ||
| | ||||
* | Fixed typo causing bug. Generic parsing updated (still wip) | 2000-05-30 | ||
| | ||||
* | handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable; | 2000-05-30 | ||
| | ||||
* | isar-preprocessing inserts final terminator if none there. | 2000-05-30 | ||
| | | | | | Added (defpgdefault script-indent t) to turn on indentation. Added proof-script-command-start-regexp setting. | |||
* | Change order of checks in proof-shell-live-buffer | 2000-05-30 | ||
| | ||||
* | defpacustom global-timing; | 2000-05-30 | ||
| |