index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
html
/
download.phtml
Commit message (
Expand
)
Author
Age
*
Update with Windows instructions, note about X-Symbol not on Windows
David Aspinall
2000-03-23
*
Updated for 3.1 release
David Aspinall
2000-03-23
*
Updated web pages.
David Aspinall
2000-03-13
*
Fixup tar options
David Aspinall
2000-02-17
*
New development pages added, more links
David Aspinall
2000-02-15
*
Improved download docs
David Aspinall
2000-02-09
*
Direction to look at BUGS file
David Aspinall
2000-02-09
*
Fix link to SRPM.
David Aspinall
1999-12-03
*
Moved notice about license to download.phtml. Made plea for registration eve...
David Aspinall
1999-12-01
*
Shorten note about imenu.
David Aspinall
1999-12-01
*
Mention using imenu instead of func-menu.
David Aspinall
1999-12-01
*
Updates for 3.0 release.
David Aspinall
1999-11-26
*
Added link to eps file
David Aspinall
1999-11-22
*
Section on what you need for PG
David Aspinall
1999-11-18
*
Tweaks
David Aspinall
1999-11-17
*
Reordering.
David Aspinall
1999-11-17
*
Split download page into three parts.
David Aspinall
1999-11-17
*
Set version tag for new release.
David Aspinall
1999-11-16
*
Updates
David Aspinall
1999-11-16
*
Set version tag for new release.
David Aspinall
1999-11-15
*
Set version tag for new release.
David Aspinall
1999-11-12
*
Set version tag for new release.
David Aspinall
1999-11-10
*
Set version tag for new release.
David Aspinall
1999-11-09
*
Set version tag for new release.
David Aspinall
1999-11-02
*
Set version tag for new release.
David Aspinall
1999-10-22
*
Set version tag for new release.
David Aspinall
1999-10-21
*
Set version tag for new release.
David Aspinall
1999-10-20
*
Set version tag for new release.
David Aspinall
1999-10-14
*
Wording
David Aspinall
1999-10-12
*
Set version tag for new release.
David Aspinall
1999-10-12
*
Set version tag for new release.
David Aspinall
1999-10-07
*
Next version will be 3.0 cvs update
David Aspinall
1999-10-06
*
Set version tag for new release.
David Aspinall
1999-10-01
*
Set version tag for new release.
David Aspinall
1999-09-30
*
Mentioned and linked ChangeLog file.
David Aspinall
1999-09-30
*
Set version tag for new release.
David Aspinall
1999-09-29
*
Set version tag for new release.
David Aspinall
1999-09-28
*
Set version tag for new release.
David Aspinall
1999-09-27
*
Set version tag for new release.
David Aspinall
1999-09-23
*
Set version tag for new release.
David Aspinall
1999-09-22
*
Set version tag for new release.
David Aspinall
1999-09-21
*
Set version tag for new release.
David Aspinall
1999-09-13
*
Made a release (ProofGeneral.spec, proof-site.el, download.phtml)
David Aspinall
1999-09-13
*
Set version tag for new release.
David Aspinall
1999-08-27
*
Added gallery
David Aspinall
1999-08-27
*
Altered release date for 2.1.
David Aspinall
1999-08-24
*
Changes for 2.3 series pre-releases.
David Aspinall
1999-08-23
*
Set version tag for new release.
David Aspinall
1999-08-23
*
Admit that unstable means bugs.
David Aspinall
1999-08-20
*
Changes for PG 2.1
David Aspinall
1999-08-20
[next]