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
*
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
*
added submenus for command insertion for coq. menu uses abbrev
Pierre Courtieu
2004-02-19
*
added some lines in holes short doc. And some abbrevs for coq.
Pierre Courtieu
2004-02-19
*
added some words to hole short doc
Pierre Courtieu
2004-02-19
*
last commit was incomplete
Pierre Courtieu
2004-02-19
*
Update (C)
David Aspinall
2004-02-18
*
holes implementation, it uses span.el. mouse keybindings work
Pierre Courtieu
2004-02-18
*
forgot some functions in span-extent.el. This is like the previous
Pierre Courtieu
2004-02-16
*
I added some utility functions in generic/span-overlays.el and
Pierre Courtieu
2004-02-16
*
Update email and web addresses
David Aspinall
2004-02-08
*
Set version tag for new release.
David Aspinall
2004-02-08
*
Remove more proofgeneral.org mail aliases
David Aspinall
2004-02-07
[next]