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
Commit message (
Expand
)
Author
Age
*
Bug in proof-toggle-active-scripting interactive calling.
David Aspinall
1999-11-09
*
Arrange for activate-scripting to not block for interactive calls.
David Aspinall
1999-11-09
*
docstring
David Aspinall
1999-11-08
*
Docstring for proof-included-files.
David Aspinall
1999-11-08
*
proof-prf-string -> proof-showproof-command
David Aspinall
1999-11-08
*
Comments/messages.
David Aspinall
1999-11-08
*
Provisional updates for x-symbol support (incomplete)
David Aspinall
1999-11-08
*
Copyright messages updated.
David Aspinall
1999-11-08
*
Copyright messages updated. Autoloads for x-symbol.
David Aspinall
1999-11-08
*
Copyright messages updated.
David Aspinall
1999-11-08
*
New section for x-symbol. New custom group for user options.
David Aspinall
1999-11-08
*
Comments
David Aspinall
1999-11-08
*
Set version tag for new release.
David Aspinall
1999-11-02
*
update of x-symbol stuff by DvO;
Makarius Wenzel
1999-10-27
*
tuned msg;
Makarius Wenzel
1999-10-27
*
Implementation of proof-auto-multiple-files.
David Aspinall
1999-10-25
*
Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)
David Aspinall
1999-10-25
*
Added proof-auto-multiple-files. Docstring addition.
David Aspinall
1999-10-25
*
Made proof-warning and friends take arg list.
David Aspinall
1999-10-25
*
Set version tag for new release.
David Aspinall
1999-10-22
*
Set version tag for new release.
David Aspinall
1999-10-21
*
Added symmetric proof-shell-inform-file-retracted-cmd setting to correspond
David Aspinall
1999-10-21
*
Changed name of proof-shell-cd-cmd for uniformity.
David Aspinall
1999-10-21
*
Changed name to proof-shell-inform-file-processed-cmd
David Aspinall
1999-10-21
*
Added proof-shell-inform-file-processed-command setting.
David Aspinall
1999-10-21
*
docstring
David Aspinall
1999-10-21
*
Set version tag for new release.
David Aspinall
1999-10-20
*
Comments in proof-complete-buffer-atomic.
David Aspinall
1999-10-20
*
Made proof-site only load once.
David Aspinall
1999-10-20
*
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only c...
David Aspinall
1999-10-19
*
Missing cursor move
David Aspinall
1999-10-18
*
FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.
David Aspinall
1999-10-15
*
Docstring improvements
David Aspinall
1999-10-15
*
Failed attempt to fix sentinel problem
David Aspinall
1999-10-15
*
comments added.
David Aspinall
1999-10-15
*
let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;
Makarius Wenzel
1999-10-15
*
Disabled proliferation of proof shell buffers.
David Aspinall
1999-10-15
*
Set version tag for new release.
David Aspinall
1999-10-14
*
Docstring
David Aspinall
1999-10-14
*
Fix missing save-excursion causing bug with proof-process-buffer.
David Aspinall
1999-10-14
*
Added message for reporting problems to splash screen.
David Aspinall
1999-10-12
*
Set version tag for new release.
David Aspinall
1999-10-12
*
docstring magic
David Aspinall
1999-10-12
*
docstring improved
David Aspinall
1999-10-12
*
Added proof-toolbar-use-enablers setting, and automatically
David Aspinall
1999-10-12
*
Added proof-toolbar-use-enablers.
David Aspinall
1999-10-12
*
Set version tag for new release.
David Aspinall
1999-10-07
*
Fix for older emacsen, maybe.
David Aspinall
1999-10-07
*
Set version tag for new release.
David Aspinall
1999-10-06
*
Set version tag for new release.
David Aspinall
1999-10-06
[next]