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
*
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
*
Set version tag for new release.
David Aspinall
2002-02-14
*
Simplify fix for repeated comments (commentre includes whitespace).
David Aspinall
2002-01-31
*
Set version tag for new release.
David Aspinall
2002-01-31
*
Tweak comment
David Aspinall
2002-01-31
*
Fix problem noticed with Isar and repeated comments.
David Aspinall
2002-01-31
*
Set version tag for new release.
David Aspinall
2002-01-16
*
Comments
David Aspinall
2002-01-16
*
Also bury trace buffer
David Aspinall
2002-01-16
*
Only create trace buffer if liable to be used. Remove experimental spill-out...
David Aspinall
2002-01-16
*
Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook
David Aspinall
2002-01-16
*
Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp
David Aspinall
2002-01-16
*
Also put trace buffer in x sym mode
David Aspinall
2002-01-15
*
Remove defunct code
David Aspinall
2002-01-15
*
Set version tag for new release.
David Aspinall
2002-01-15
*
windows-of-buffer -> get-buffer-window-list GNU name
David Aspinall
2002-01-15
*
Inspect quit-flag when displaying tracing output; send an interrupt to the pr...
David Aspinall
2002-01-15
*
Redisplay during tracing output on XEmacs
David Aspinall
2002-01-15
*
Set version tag for new release.
David Aspinall
2002-01-11
*
fixed spelling;
Makarius Wenzel
2001-12-27
*
Set version tag for new release.
David Aspinall
2001-12-11
*
Protect XEmacs only code
David Aspinall
2001-12-11
[next]