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.el
Commit message (
Expand
)
Author
Age
...
*
proof-nested-goals-allowed -> proof-completed-proof-behaviour
David Aspinall
1999-11-14
*
Added new face for debug messages
David Aspinall
1999-11-13
*
Notes about font-lock management.
David Aspinall
1999-11-12
*
Fixes for response buffer display, x-symbol, output formatting.
David Aspinall
1999-11-12
*
Attempted x-symbol improvements
David Aspinall
1999-11-11
*
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
*
Reorganized user options. Special new code for boolean settings.
David Aspinall
1999-11-10
*
Moved more utility functions here.
David Aspinall
1999-11-10
*
Generic support for x-symbol tuned up.
David Aspinall
1999-11-09
*
Docstring for proof-included-files.
David Aspinall
1999-11-08
*
Copyright messages updated. Autoloads for x-symbol.
David Aspinall
1999-11-08
*
update of x-symbol stuff by DvO;
Makarius Wenzel
1999-10-27
*
Made proof-warning and friends take arg list.
David Aspinall
1999-10-25
*
face arg for proof-response-buffer-display is now optional
David Aspinall
1999-10-06
*
Fix for FSF: it should load proof-toolbar too.
David Aspinall
1999-09-28
*
Fix for toolbar disable for FSF Emacs.
David Aspinall
1999-08-23
*
proof-version -> proof-general-version
David Aspinall
1999-08-23
*
Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.
David Aspinall
1999-02-22
*
Beginnings of x-symbol support.
David Aspinall
1998-12-18
*
Improved documentation of proof-included-files-list.
David Aspinall
1998-12-15
*
Reordered require of cl. Changed deflocal definition.
David Aspinall
1998-12-14
*
Tweaked headings for bug report
David Aspinall
1998-12-11
*
Added proof-submit-bug-report
David Aspinall
1998-12-11
*
Made point stay at top of goals buffer and bottom of response buffer
David Aspinall
1998-12-10
*
Format fix
David Aspinall
1998-11-26
*
FSF Emacs fix for buffer-file-truename, which is the
David Aspinall
1998-11-25
*
Replaced proof-pbp-buffer with proof-goals-buffer.
David Aspinall
1998-11-25
*
Note about window dedicated problem.
David Aspinall
1998-11-25
*
Reimplemented functions to shut down and restart proof process.
David Aspinall
1998-11-20
*
BIG CHANGES -- SORRY!
David Aspinall
1998-11-20
*
proof-response-buffer-display: Move point to the end of the buffer
David Aspinall
1998-11-18
*
Improved proof-clean-buffer. Now only deletes windows in currently
David Aspinall
1998-11-18
*
Bug fix and adjustments in proof-response-buffer-display
David Aspinall
1998-11-18
*
Added proof-auto-delete-windows user option.
David Aspinall
1998-11-12
*
Added acknowledgements to doc. Removed from code.
David Aspinall
1998-11-09
*
Promoted proof-window-dedicated to be a user option, and
David Aspinall
1998-11-03
*
A* Fix display handling problems (tms, all week)
Thomas Kleymann
1998-11-03
*
Proof General no longer moves point in the current-buffer
Thomas Kleymann
1998-11-02
*
Quick fix for multiple file problem when current scripting buffer is retracte...
David Aspinall
1998-11-02
*
Proof General no longer changes selected window/buffer under your feet.
Thomas Kleymann
1998-11-02
*
fixed minor bugs
Thomas Kleymann
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
*
Fixed requires for FSF Emacs.
David Aspinall
1998-10-29
*
Added autoload for proof-shell-available-p
David Aspinall
1998-10-28
*
rearranged code to avoid compiler warning messages
Thomas Kleymann
1998-10-28
*
Splash screen added back. Put in Xemacs test for noninteractive to
David Aspinall
1998-10-27
*
Fixed up proof-script.el for clean byte compile
David Aspinall
1998-10-27
[prev]
[next]