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
...
*
Set version tag for new release.
David Aspinall
1999-12-13
*
Set version tag for new release.
David Aspinall
1999-12-03
*
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
*
Update link for Isamode to be on zermelo (careful)
David Aspinall
1999-12-01
*
Set version tag for new release.
David Aspinall
1999-12-01
*
Shorten note about imenu.
David Aspinall
1999-12-01
*
Fix HTML errors.
David Aspinall
1999-12-01
*
Add attribute that news was written by me.
David Aspinall
1999-12-01
*
Fix link to Dilip's rather uninformative page
David Aspinall
1999-12-01
*
Hedge on tag for validator image, it's really a lie and should have a questio...
David Aspinall
1999-12-01
*
Fix broken link
David Aspinall
1999-12-01
*
Removed unused descitem style.
David Aspinall
1999-12-01
*
Fix HTML errors by adding name arg to dt() function.
David Aspinall
1999-12-01
*
Fix HTML errors.
David Aspinall
1999-12-01
*
Mention using imenu instead of func-menu.
David Aspinall
1999-12-01
*
Fix HTML error with fileshow.
David Aspinall
1999-12-01
*
Added comments about initializing counter.
David Aspinall
1999-12-01
*
Fix HTML error
David Aspinall
1999-12-01
*
Made background a bit lighter.
David Aspinall
1999-12-01
*
Set version tag for new release.
David Aspinall
1999-11-30
*
Set version tag for new release.
David Aspinall
1999-11-30
*
Note about dumb tty
David Aspinall
1999-11-30
*
Added new screenshots, thumbnails.
David Aspinall
1999-11-30
*
Fix page titles.
David Aspinall
1999-11-30
*
New screenshots
David Aspinall
1999-11-30
*
New screenshots.
David Aspinall
1999-11-30
*
I retain copyright for PG images.
David Aspinall
1999-11-30
*
Typo
David Aspinall
1999-11-30
*
Set version tag for new release.
David Aspinall
1999-11-29
*
Removed brackets.
David Aspinall
1999-11-26
*
Fixup formatting
David Aspinall
1999-11-26
*
Set version tag for new release.
David Aspinall
1999-11-26
*
Add technology overview paper.
David Aspinall
1999-11-26
*
Outline paper
David Aspinall
1999-11-26
*
Updates for 3.0 release.
David Aspinall
1999-11-26
*
News file purged.
David Aspinall
1999-11-26
*
FIXME comment added
David Aspinall
1999-11-25
*
Old news file
David Aspinall
1999-11-25
*
Set version tag for new release.
David Aspinall
1999-11-25
*
Set version tag for new release.
David Aspinall
1999-11-24
*
Recommend the ps file over the pdf.
David Aspinall
1999-11-24
*
Set version tag for new release.
David Aspinall
1999-11-23
*
Clarify formats available.
David Aspinall
1999-11-23
*
Fix X-Symbol name
David Aspinall
1999-11-23
*
Set version tag for new release.
David Aspinall
1999-11-22
*
Added link to pdf file.
David Aspinall
1999-11-22
*
Added link to eps file
David Aspinall
1999-11-22
*
File moved
David Aspinall
1999-11-22
*
Set version tag for new release.
David Aspinall
1999-11-19
[prev]
[next]