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
Age
Commit message (
Expand
)
Author
1999-06-28
Set version tag for new release.
David Aspinall
1999-06-28
general with whip
David Aspinall
1999-06-28
Fixed email addresses
David Aspinall
1999-06-28
Got proper file from backup.
David Aspinall
1999-06-28
pointer to FSF Emacs
David Aspinall
1999-06-24
Set version tag for new release.
proofgen
1999-06-24
Support for version 3 browsers added.
David Aspinall
1999-06-24
Deleted files.
David Aspinall
1999-06-24
New image
David Aspinall
1999-06-24
Style sheet.
David Aspinall
1999-06-24
Notes about web pages
David Aspinall
1999-06-24
New web pages
David Aspinall
1999-06-24
.phtml instead
David Aspinall
1999-06-24
New images
David Aspinall
1998-12-17
Updated to use local validator.
David Aspinall
1998-12-17
Link to TOC of documentation html.
David Aspinall
1998-11-20
Updated gifs.
David Aspinall
1998-10-20
Updated screenshot.
David Aspinall
1998-10-15
Fixed top spacing to match other pages.
David Aspinall
1998-10-15
Added index bar with bullet holes.
David Aspinall
1998-10-09
Changed banner to use gif files for text.
David Aspinall
1998-10-09
Changed banner to use gif files for text.
David Aspinall
1998-10-09
Deleted files.
David Aspinall
1998-10-08
Validator fix
David Aspinall
1998-10-08
Validator fixes
David Aspinall
1998-10-08
Fixed Validator URLs
David Aspinall
1998-10-07
Added text logos. Menu now appears in screenshot.
David Aspinall
1998-10-07
Fixed validation errors. Added screenshot page.
David Aspinall
1998-09-10
We seduce our audience by fancy pictures and words
David Aspinall