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
Commit message (
Expand
)
Author
Age
*
Minor change
David Aspinall
2000-09-29
*
Click to go back links to root.
David Aspinall
2000-09-29
*
Remove messy link_root links.
David Aspinall
2000-09-29
*
Short file instead of a link, so works in CVS. Bit annoying to duplicate, but...
David Aspinall
2000-09-29
*
Links for shortcut URLs.
David Aspinall
2000-09-29
*
Mention needed server hacks
David Aspinall
2000-09-29
*
Remove link_root nonsense
David Aspinall
2000-09-29
*
Moved to use .html instead of .phtml
David Aspinall
2000-09-28
*
Renamed files
David Aspinall
2000-09-28
*
Renamed file
David Aspinall
2000-09-28
*
Set version tag for new release.
David Aspinall
2000-09-28
*
Set version tag for new release.
David Aspinall
2000-09-27
*
Already shrunken general for buggy browsers benefit.
David Aspinall
2000-09-27
*
Updated web pages, misc improvements.
David Aspinall
2000-09-27
*
Working home page for PG kit
David Aspinall
2000-09-27
*
Added kit stuff: just copies of the DTDs at the moment.
David Aspinall
2000-09-27
*
Set version tag for new release.
David Aspinall
2000-09-26
*
Link to Isar instead of Isar/README.
David Aspinall
2000-09-26
*
Fix Pauls web address
David Aspinall
2000-09-26
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
Typo
David Aspinall
2000-09-26
*
Set version tag for new release.
David Aspinall
2000-09-25
*
Set version tag for new release.
David Aspinall
2000-09-23
*
Forthcoming news item
David Aspinall
2000-09-23
*
Use prover-specific logos rather than generic ones...
David Aspinall
2000-09-23
*
Changed size of image
David Aspinall
2000-09-23
*
Minor
David Aspinall
2000-09-23
*
Add prover-specific logo rather than generic ones...
David Aspinall
2000-09-23
*
Image of the general with ??? badge
David Aspinall
2000-09-23
*
Set version tag for new release.
David Aspinall
2000-09-21
*
Set version tag for new release.
David Aspinall
2000-09-20
*
Set version tag for new release.
David Aspinall
2000-09-18
*
Set version tag for new release.
David Aspinall
2000-09-14
*
Updates
David Aspinall
2000-09-14
*
Shrunk a bit
David Aspinall
2000-09-14
*
Set version tag for new release.
David Aspinall
2000-09-13
*
Minor changes and improvements
David Aspinall
2000-09-13
*
Reduced sizes of images.
David Aspinall
2000-09-13
*
Revamp style a bit -- not so good with netscape but OK elsewhere.
David Aspinall
2000-09-13
*
Set version tag for new release.
David Aspinall
2000-09-12
*
Set version tag for new release.
David Aspinall
2000-09-11
*
Set version tag for new release.
David Aspinall
2000-08-29
*
Tweak
David Aspinall
2000-08-29
*
Set version tag for new release.
David Aspinall
2000-08-28
*
News updated
David Aspinall
2000-08-28
*
Link to two manuals now.
David Aspinall
2000-08-28
*
Set version tag for new release.
David Aspinall
2000-08-09
*
Set version tag for new release.
David Aspinall
2000-07-26
*
Set version tag for new release.
David Aspinall
2000-07-16
*
Modified, now white paper contains DTDs (soon)
David Aspinall
2000-07-16
[next]