index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Removed debug instruction.
David Aspinall
1999-11-11
*
Next round of fixups for font-lock and x-symbol.
David Aspinall
1999-11-11
*
Extensive fixes for x-symbol and font-lock.
David Aspinall
1999-11-11
*
Added proof-help command to help menu.
David Aspinall
1999-11-11
*
Patches for urgent message processing.
David Aspinall
1999-11-11
*
Added new command proof-goto-point, new default binding for C-c RET.
David Aspinall
1999-11-11
*
Set version tag for new release.
David Aspinall
1999-11-10
*
Latest todos
David Aspinall
1999-11-10
*
Improvement of user options, change of terminology.
David Aspinall
1999-11-10
*
Junk code
David Aspinall
1999-11-10
*
Docstring
David Aspinall
1999-11-10
*
Added some desparate patches for dead extent problem proof-done-advancing
David Aspinall
1999-11-10
*
Added URL for package to warning message. Prevent customize enabling if x-sy...
David Aspinall
1999-11-10
*
Added save-excursion.
David Aspinall
1999-11-10
*
Reorganized user options. Special new code for boolean settings.
David Aspinall
1999-11-10
*
Added a section on user option conventions. Changed var names
David Aspinall
1999-11-10
*
fixed indentation bug: use proof-looking-at (proof-case-fold-search);
Makarius Wenzel
1999-11-10
*
proof-looking-at (subject to proof-case-fold-search);
Makarius Wenzel
1999-11-10
*
Electric (active) terminator is now a user option, does not need forcing here.
David Aspinall
1999-11-10
*
Fix decoding of shell input.
David Aspinall
1999-11-10
*
Moved proof-file-truename, proof-file-to-buffer, to proof.el
David Aspinall
1999-11-10
*
Moved utility function proof-files-to-buffers to proof.el. Fixed local var
David Aspinall
1999-11-10
*
Moved more utility functions here.
David Aspinall
1999-11-10
*
Removed unsociable key-bindings.
David Aspinall
1999-11-10
*
Fixed info syntax errors
David Aspinall
1999-11-09
*
Set version tag for new release.
David Aspinall
1999-11-09
*
No unless noted
David Aspinall
1999-11-09
*
News about x-symbol
David Aspinall
1999-11-09
*
Generic support for x-symbol tuned up.
David Aspinall
1999-11-09
*
Fixes for x-symbol activation/deactivation strings
David Aspinall
1999-11-09
*
Bug again in call-interactively in proof-toggle-active-scripting.
David Aspinall
1999-11-09
*
Bug in proof-toggle-active-scripting interactive calling.
David Aspinall
1999-11-09
*
Test files for error in theory processing.
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
*
Added a section on debugging, mentioned proof-show-debug-messages.
David Aspinall
1999-11-08
*
Fixes to intro.
David Aspinall
1999-11-08
*
Updates for 3.0
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
*
Updated
David Aspinall
1999-11-08
*
Comments/messages.
David Aspinall
1999-11-08
*
Comments.
David Aspinall
1999-11-08
*
Updated multiple file notes.
David Aspinall
1999-11-08
*
New file.
David Aspinall
1999-11-08
*
Note about release 3.0.
David Aspinall
1999-11-08
*
Updated
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
*
Typo.
David Aspinall
1999-11-08
[prev]
[next]