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-07-03
Request to register a little more encouraging.
David Aspinall
1999-07-03
Set version tag for new release.
David Aspinall
1999-07-02
Set version tag for new release.
David Aspinall
1999-07-02
Missing space.
David Aspinall
1999-07-02
Spaces and punctuation
David Aspinall
1999-07-02
Notes about php functions.
David Aspinall
1999-07-01
Note about doc files absence from devel tarball.
David Aspinall
1999-07-01
Set version tag for new release.
David Aspinall
1999-06-30
Attribute LFCS on front page
David Aspinall
1999-06-30
Removed hack for texi2html, now using hacked texi2html instead.
David Aspinall
1999-06-30
Streamlined a bit
David Aspinall
1999-06-30
Set version tag for new release.
David Aspinall
1999-06-30
Tweaks
David Aspinall
1999-06-30
Simple hit counter
David Aspinall
1999-06-28
Tweak
David Aspinall
1999-06-28
Link for printing download is just .ps.gz now.
David Aspinall
1999-06-28
Mention Plastic and Isar and release number of Emacs.
David Aspinall
1999-06-28
Added pg_title variable
David Aspinall
1999-06-28
Fixed link to devel RPM.
David Aspinall
1999-06-28
Paraphrased some of the history.
David Aspinall
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