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
...
*
condition-case -> ignore-errors, comment.
David Aspinall
2002-07-12
*
Add definition of font-lock-preprocessor-face
David Aspinall
2002-07-02
*
Set version tag for new release.
David Aspinall
2002-07-01
*
Use executable-find
David Aspinall
2002-07-01
*
proof-restart: also remove idiom internal spans.
David Aspinall
2002-07-01
*
Fix problem with GNU Emacs support: switch to multibyte in output buffers
David Aspinall
2002-07-01
*
Fix error catching in proof-deactivate-scripting-auto.
David Aspinall
2002-06-30
*
Robustify form GNU Emacs
David Aspinall
2002-06-30
*
When killing process or scripting buffer, register file if it is complete, ra...
David Aspinall
2002-06-30
*
proof-shell-kill-function: deactivate scripting before shutting down prover
David Aspinall
2002-06-30
*
Require x-symbol-vars as recommended for new version (works with old too?)
David Aspinall
2002-06-24
*
Disable fly past comments for old parser again.
David Aspinall
2002-06-24
*
Default to using old parser for now.
David Aspinall
2002-06-24
*
use-old-parser setting replaces use-new-parser setting [WARNING: big change]
David Aspinall
2002-06-24
*
use-old-parser setting replaces use-new-parser setting [WARNING: big change]
David Aspinall
2002-06-24
*
Also use our own buffer-syntactic-context in XEmacs 21.4.
David Aspinall
2002-06-24
*
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
[prev]
[next]