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
*
GPL
David Aspinall
2002-06-21
*
Set version tag for new release.
David Aspinall
2002-06-20
*
Match FSF C-button3 binding with XEmacs one
David Aspinall
2002-06-19
*
Doc improvements
David Aspinall
2002-06-19
*
Add proof-shell-last-prompt.
David Aspinall
2002-06-19
*
Set version tag for new release.
David Aspinall
2002-06-19
*
Remove lift-global function.
David Aspinall
2002-06-18
*
Remove global testing and lift-global function; rename proof-nested-goals -> ...
David Aspinall
2002-06-18
*
A nil setting of proof-kill-goal-command forces use of proof-find-and-forget ...
David Aspinall
2002-06-13
*
Docs
David Aspinall
2002-06-13
*
Experiment with showing real prover output for aborted proofs.
David Aspinall
2002-06-13
*
Second variant of next-span, without doubly nested loop
David Aspinall
2002-06-12
*
Improve imp of next-span
David Aspinall
2002-06-12
*
Make hack for XEmacs 21.4 also work for later versions
David Aspinall
2002-06-12
*
Adjust proof-nesting depth, add FIXME notes since not right yet
David Aspinall
2002-06-12
*
Add nestedundos setting to span, and proof-nested-undo-regexp setting
David Aspinall
2002-06-12
*
Only match saves for prover that supports nested proofs (restores old behavio...
David Aspinall
2002-06-11
*
Improved proof-nesting-depth (not finished yet)
David Aspinall
2002-06-11
*
Add proof-nesting-depth, new implementation of span amalgamation in proof-don...
David Aspinall
2002-06-11
*
Clean up span.el loading; make compat with bbdb.el in FSF
David Aspinall
2002-06-08
*
Clean up span.el loading
David Aspinall
2002-06-08
*
Robustness fixes/bug notes
David Aspinall
2002-06-08
*
Spacing
David Aspinall
2002-06-08
*
Tweak liveness test
David Aspinall
2002-06-08
*
Alter order
David Aspinall
2002-06-08
*
Fix keysym to use FSF syntax
David Aspinall
2002-06-08
*
Set version tag for new release.
David Aspinall
2002-06-08
*
Set version tag for new release.
David Aspinall
2002-05-03
*
Fix X-symbol URL
David Aspinall
2002-05-03
*
Fix font lock for E21 (I hope)
David Aspinall
2002-05-03
*
Try to support next-error key binding for both Emacs versions.
David Aspinall
2002-05-03
*
Fix loading order to load Isar before Isa
David Aspinall
2002-05-03
*
Craftily set experimental fetures on for devel release.
David Aspinall
2002-05-03
*
Began adding generic line-width adjust
David Aspinall
2002-05-03
*
Set version tag for new release.
David Aspinall
2002-04-23
*
Set version tag for new release.
David Aspinall
2002-03-22
*
Set version tag for new release.
David Aspinall
2002-03-21
*
Year changes
David Aspinall
2002-03-21
*
Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo...
David Aspinall
2002-03-21
*
Dont set type property for proof elements (experiment). Tweak name determina...
David Aspinall
2002-03-21
*
Added activations for frame/window controls.
David Aspinall
2002-03-21
*
Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.
David Aspinall
2002-03-21
*
Added emultation of display-graphic-p for XEmacs
David Aspinall
2002-03-21
*
Add header to XML docs
David Aspinall
2002-03-21
*
New files.
David Aspinall
2002-03-21
*
added hook: proof-before-fontify-output-hook
Christophe Raffalli
2002-03-21
*
Add check for Emacs21.
David Aspinall
2002-02-23
*
Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...
David Aspinall
2002-02-23
*
Simplify enabling tests to just check window-system. Fix proof-x-symbol-deco...
David Aspinall
2002-02-23
*
Updates to font-lock handling in proof-fontify-region, proof-font-lock-clear-...
David Aspinall
2002-02-23
[next]