index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
html
/
download.phtml
Age
Commit message (
Expand
)
Author
2000-09-28
Renamed file
David Aspinall
2000-09-14
Updates
David Aspinall
2000-09-13
Minor changes and improvements
David Aspinall
2000-03-23
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-13
Updated web pages.
David Aspinall
2000-02-17
Fixup tar options
David Aspinall
2000-02-15
New development pages added, more links
David Aspinall
2000-02-09
Improved download docs
David Aspinall
2000-02-09
Direction to look at BUGS file
David Aspinall
1999-12-03
Fix link to SRPM.
David Aspinall
1999-12-01
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-11-26
Updates for 3.0 release.
David Aspinall
1999-11-22
Added link to eps file
David Aspinall
1999-11-18
Section on what you need for PG
David Aspinall
1999-11-17
Tweaks
David Aspinall
1999-11-17
Reordering.
David Aspinall
1999-11-17
Split download page into three parts.
David Aspinall
1999-11-16
Set version tag for new release.
David Aspinall
1999-11-16
Updates
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
Set version tag for new release.
David Aspinall
1999-10-12
Wording
David Aspinall
1999-10-12
Set version tag for new release.
David Aspinall
1999-10-07
Set version tag for new release.
David Aspinall
1999-10-06
Next version will be 3.0 cvs update
David Aspinall
1999-10-01
Set version tag for new release.
David Aspinall
1999-09-30
Set version tag for new release.
David Aspinall
1999-09-30
Mentioned and linked ChangeLog file.
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
Set version tag for new release.
David Aspinall
1999-09-13
Made a release (ProofGeneral.spec, proof-site.el, download.phtml)
David Aspinall
1999-08-27
Set version tag for new release.
David Aspinall
1999-08-27
Added gallery
David Aspinall
1999-08-24
Altered release date for 2.1.
David Aspinall
1999-08-23
Changes for 2.3 series pre-releases.
David Aspinall
[next]