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
*
Fix to warn function to use format args.
David Aspinall
2000-03-08
*
Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)
David Aspinall
2000-03-08
*
Set version tag for new release.
David Aspinall
2000-03-01
*
Set version tag for new release.
David Aspinall
2000-02-29
*
Forced process-connection-type always to nil, after all. May not be an issue...
David Aspinall
2000-02-29
*
Set version tag for new release.
David Aspinall
2000-02-28
*
Added back ^G fix for Solaris, but not for non-mule FSF.
David Aspinall
2000-02-28
*
Add definition of warn function for FSF compatibility.
David Aspinall
2000-02-28
*
Set version tag for new release.
David Aspinall
2000-02-24
*
Set version tag for new release.
David Aspinall
2000-02-17
*
Set version tag for new release.
David Aspinall
2000-02-15
*
New canonical URL for PG.
David Aspinall
2000-02-15
*
Set version tag for new release.
David Aspinall
2000-02-09
*
Added proof-shell-pre-interrupt-hook
David Aspinall
2000-02-09
*
Set version tag for new release.
David Aspinall
2000-01-26
*
Temporary fix for problem with Emacs 20.5 reported by Pierre
David Aspinall
2000-01-25
*
Set version tag for new release.
David Aspinall
2000-01-20
*
Set version tag for new release.
David Aspinall
2000-01-12
*
Attempted fix for thy-mode X-Symbol problems. Still buggy.
David Aspinall
2000-01-12
*
Set version tag for new release.
David Aspinall
2000-01-06
*
Set version tag for new release.
David Aspinall
1999-12-16
*
Set version tag for new release.
David Aspinall
1999-12-14
*
Set version tag for new release.
David Aspinall
1999-12-13
*
Set version tag for new release.
David Aspinall
1999-12-03
*
Set version tag for new release.
David Aspinall
1999-12-01
*
Set version tag for new release.
David Aspinall
1999-11-30
*
Set version tag for new release.
David Aspinall
1999-11-30
*
Set version tag for new release.
David Aspinall
1999-11-30
*
Set version tag for new release.
David Aspinall
1999-11-30
*
Set version tag for new release.
David Aspinall
1999-11-29
*
Set version tag for new release.
David Aspinall
1999-11-29
*
Typo
David Aspinall
1999-11-29
*
Comments about improved handling of urgent message markers, following
David Aspinall
1999-11-29
*
Set version tag for new release.
David Aspinall
1999-11-26
*
Set version tag for new release.
David Aspinall
1999-11-26
*
Typos.
David Aspinall
1999-11-26
*
Set version tag for new release.
David Aspinall
1999-11-25
*
Docstring
David Aspinall
1999-11-24
*
More docstring for proof-customize-toggle.
David Aspinall
1999-11-24
*
Improved docstrings. Generalised proof-set-bool -> proof-set-value.
David Aspinall
1999-11-24
*
Set version tag for new release.
David Aspinall
1999-11-24
*
Fixed extending queue bug. Many docstring improvements
David Aspinall
1999-11-24
*
Moved proof-analyse-using-stack to proof-config. Added docstrings for pbp fu...
David Aspinall
1999-11-24
*
Docstrings.
David Aspinall
1999-11-24
*
Many fixes to docstrings and comments. Added proof-analyse-using-stack here.
David Aspinall
1999-11-24
*
Recognize and label macros.
David Aspinall
1999-11-24
*
Set version tag for new release.
David Aspinall
1999-11-23
*
Rearrange comments.
David Aspinall
1999-11-23
*
docstring improvement
David Aspinall
1999-11-23
*
Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.
David Aspinall
1999-11-23
[next]