index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-script.el
Commit message (
Expand
)
Author
Age
...
*
Added yet another new parsing mechanism, bit more rational this time.
David Aspinall
2000-09-27
*
Remove require on proof-depends
David Aspinall
2000-09-23
*
Comments
David Aspinall
2000-09-20
*
Get rid of proof-segment-up-to-old.
David Aspinall
2000-09-18
*
added proof-retract-current-goal
Christophe Raffalli
2000-09-15
*
added proper call to proof-remove-comment before matching with proof-xxx-with...
Christophe Raffalli
2000-09-15
*
Remove FIXME.
David Aspinall
2000-09-14
*
Remove ambitious promise to implement proper generic-find-and-forget.
David Aspinall
2000-09-13
*
Remove shell important setting from script ones.
David Aspinall
2000-09-12
*
Added proof-shell-annotated-prompt-regexp to important settings, removed safe...
David Aspinall
2000-09-11
*
Fix obscure problem with proof-segment-upto-cmdstart with buggy input.
David Aspinall
2000-09-08
*
Added Fiona's changes, cleaned up a little bit
David Aspinall
2000-08-14
*
handle comment inside a command (patch by da);
Makarius Wenzel
2000-08-03
*
changes to add theorem dependencies recording in spans
David Aspinall
2000-07-19
*
Fix mark buffer atomic problem (caused multiple file oddity with Isar), for n...
David Aspinall
2000-06-26
*
proof-script-find-next-entity: support list of match items;
Makarius Wenzel
2000-06-16
*
Comment
David Aspinall
2000-06-09
*
Added special hack for Isar to include proof-terminal-char in sent string.
David Aspinall
2000-06-06
*
proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!
Makarius Wenzel
2000-06-04
*
proof-segment-up-to-cmdstart: exclude leading blanks from command string;
Makarius Wenzel
2000-06-04
*
improved proof-segment-up-to-cmdstart: handle overlap of command
Makarius Wenzel
2000-06-03
*
Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...
David Aspinall
2000-06-01
*
New parsing functions proof-segment-up-to-cmd{start,end}
David Aspinall
2000-06-01
*
Fixes for completion support.
David Aspinall
2000-05-31
*
Hairy parsing for Isar. Not finished (or working) yet.
David Aspinall
2000-05-30
*
Arg for proof-minibuffer-cmd: compact whitespace in region.
David Aspinall
2000-05-30
*
Fixed typo causing bug. Generic parsing updated (still wip)
David Aspinall
2000-05-30
*
Added doc of new prefix arg feature for proof-minibuffer-cmd
David Aspinall
2000-05-30
*
Added prefix arg to proof-minibuffer-cmd to insert current region.
David Aspinall
2000-05-30
*
Added new parsing mechanism. Began removing proof-terminal-string.
David Aspinall
2000-05-29
*
Removed proof-script-indent check.
David Aspinall
2000-05-26
*
Added completion table code.
David Aspinall
2000-05-25
*
Add proof-strict-state-preserving setting
David Aspinall
2000-05-16
*
Use proof-deftoggle macro.
David Aspinall
2000-05-11
*
Fixup loading.
David Aspinall
2000-05-09
*
Removed menus, keybinding. Removed compatibility hacks. Improved loading.
David Aspinall
2000-05-09
*
Comments. Minor improvements for electric terminator and proof-follow-mode='...
David Aspinall
2000-05-05
*
Added proof-assistant-keymap and commands for defining insert keys.
David Aspinall
2000-05-02
*
Added proof-assistant-menu-entries for proof assistant specific menus.
David Aspinall
2000-05-01
*
Note about efficiency/bug fix by Markus.
David Aspinall
2000-04-25
*
proof-segment-up-to: no longer poke around in make-string buffer (now
Makarius Wenzel
2000-04-15
*
More generic message to avoid confusion with Coq searching.
David Aspinall
2000-04-07
*
Improved behaviour of electric terminator.
David Aspinall
2000-04-04
*
Update copyright dates, comments.
David Aspinall
2000-04-04
*
Spacing.
David Aspinall
2000-03-24
*
Bug fix for electric terminator used inside locked region.
David Aspinall
2000-03-22
*
Use proof-format-filename instead of format on cmds with file parameter.
David Aspinall
2000-03-22
*
Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...
David Aspinall
2000-03-19
*
Use name of proof assistant in menu.
David Aspinall
2000-03-10
*
Added proof-shell-pre-interrupt-hook
David Aspinall
2000-02-09
[prev]
[next]