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
*
Space in named entities popup
David Aspinall
2004-04-14
*
Indentation of proof-with-current-buffer-if-exists
David Aspinall
2004-04-13
*
Abstract out proof-maybe-askprefs
David Aspinall
2004-04-13
*
Abstract out proof-end-of-locked-visible-p
David Aspinall
2004-04-13
*
Add hint to C-c C-l; cleanup hints, add menu for C-c C-l
David Aspinall
2004-04-13
*
Tweak disabling of X-Symbol packages to allow user to
David Aspinall
2004-04-13
*
Disable any other x-symbol packages found by XEmacs (uses defadvice)
David Aspinall
2004-04-13
*
Set version tag for new release.
David Aspinall
2004-04-06
*
Add pgshell to proof-assistant-table, remove pgkit for now.
David Aspinall
2004-04-06
*
Adjust proof-script-comment-end and comment-end to hold empty string for end-...
David Aspinall
2004-04-06
*
Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...
David Aspinall
2004-04-06
*
Another day, another prover:
cxl
2004-04-06
*
Set version tag for new release.
David Aspinall
2004-04-05
*
Fixed the short doc on holes
Pierre Courtieu
2004-04-05
*
Set version tag for new release.
David Aspinall
2004-04-02
*
Turn on experimental features for 3.5. Adjust display settings.
David Aspinall
2004-04-02
*
Overhaul and fixes for display management.
David Aspinall
2004-04-02
*
Comments
David Aspinall
2004-04-02
*
Use proof-shell-wait; comments.
David Aspinall
2004-04-02
*
More elaborate error messages in proof-easy-config-check-setup.
David Aspinall
2004-04-02
*
Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to s...
David Aspinall
2004-04-02
*
Add various GNU <-> XE compatibility functions for display.
David Aspinall
2004-04-02
*
Comments. Beginning of drag region code.
David Aspinall
2004-04-02
*
Adjust proof-shell-wait to use less CPU w/o timeout
David Aspinall
2004-03-30
*
Add get-window-with-predicate to perhaps solve issue with XEmacs.
David Aspinall
2004-03-30
*
Add proof-assistant-symbol to (spurious) error msg
David Aspinall
2004-03-30
*
generic-find-and-forget: handle proof-forget-id-command not being set
David Aspinall
2004-03-30
*
Mention importance of proof-shell-annotated-prompt-regexp.
David Aspinall
2004-03-30
*
Set version tag for new release.
David Aspinall
2004-03-23
*
.v7 and .v8 added as coq file possible extensions.
Pierre Courtieu
2004-03-19
*
holes debugging.
Pierre Courtieu
2004-03-17
*
menu, holes and abbrev made better.
Pierre Courtieu
2004-03-17
*
bug fix in holes (call to proof-indent-line instead of funcall
Pierre Courtieu
2004-03-15
*
holes-short-doc now is in view-mode.
Pierre Courtieu
2004-03-10
*
dealing with compile warning for new "hole" code (end hopefully).
Pierre Courtieu
2004-03-10
*
modification to avoid compile warnings (end)
Pierre Courtieu
2004-03-10
*
slight modif of holes short doc.
Pierre Courtieu
2004-03-10
*
x-get-selection is obsolete for xemacs, made a macro
Pierre Courtieu
2004-03-10
*
bug corrections
Pierre Courtieu
2004-03-10
*
Set version tag for new release.
David Aspinall
2004-03-02
*
Fix a few compiler warnings
David Aspinall
2004-03-02
*
Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)
David Aspinall
2004-03-02
*
Fix Emacs icon name clash problem
David Aspinall
2004-03-01
*
Fix buglets shown up by byte compilation.
David Aspinall
2004-03-01
*
Set version tag for new release.
David Aspinall
2004-03-01
*
Beginnings of parsescript support
David Aspinall
2004-02-29
*
Comments.
David Aspinall
2004-02-28
*
little bug correction of holes
Pierre Courtieu
2004-02-26
*
little changes in the holes short doc
Pierre Courtieu
2004-02-26
*
little changes of menu/holes/abbrev in coq/pg
Pierre Courtieu
2004-02-26
[next]