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
...
*
Reference tweak
David Aspinall
2000-05-16
*
Set version tag for new release.
David Aspinall
2000-05-16
*
Updated PG talk slides
David Aspinall
2000-05-16
*
Better reference to TACAS paper. Added link to white paper draft.
David Aspinall
2000-05-16
*
Set version tag for new release.
David Aspinall
2000-05-11
*
Tidied page a bit
David Aspinall
2000-05-11
*
Added browsable CVS.
David Aspinall
2000-05-09
*
Set version tag for new release.
David Aspinall
2000-05-09
*
New project (unlinked yet)
David Aspinall
2000-05-09
*
Missing para
David Aspinall
2000-05-05
*
Buglet in html
David Aspinall
2000-05-05
*
Set version tag for new release.
David Aspinall
2000-05-05
*
Hot news about FAQ.
David Aspinall
2000-05-05
*
Set version tag for new release.
David Aspinall
2000-05-01
*
Trivial
David Aspinall
2000-05-01
*
Set version tag for new release.
David Aspinall
2000-04-28
*
Added note about 3.1.4 patch, merged from 3.1 branch
David Aspinall
2000-04-28
*
Set version tag for new release.
David Aspinall
2000-04-26
*
20.X -> recent, since XEmacs now on 21.
David Aspinall
2000-04-25
*
Set version tag for new release.
David Aspinall
2000-04-07
*
Set version tag for new release.
David Aspinall
2000-04-04
*
Updates for 3.2 series.
David Aspinall
2000-04-04
*
Added new project B4
David Aspinall
2000-04-04
*
Updated news about 3.1.3, split old news out.
David Aspinall
2000-04-04
*
Set version tag for new release.
David Aspinall
2000-03-24
*
Updated to 3.2pre series.
David Aspinall
2000-03-24
*
Draft slides no longer draft. Fix broken link, too.
David Aspinall
2000-03-24
*
Final version of outline paper
David Aspinall
2000-03-24
*
Newline.
David Aspinall
2000-03-23
*
Update with Windows instructions, note about X-Symbol not on Windows
David Aspinall
2000-03-23
*
Set version tag for new release.
David Aspinall
2000-03-23
*
Added link for zip file
David Aspinall
2000-03-23
*
Updated for 3.1 release
David Aspinall
2000-03-23
*
3.1 available now
David Aspinall
2000-03-23
*
3.0 becomes an old release.
David Aspinall
2000-03-23
*
Remove attempts at elisp markup, screwy regexps somewhere or php buggy.
David Aspinall
2000-03-23
*
Set version tag for new release.
David Aspinall
2000-03-22
*
Suggest links on same page.
David Aspinall
2000-03-22
*
Set version tag for new release.
David Aspinall
2000-03-19
*
Improved links, new project on ACS.
David Aspinall
2000-03-19
*
Set version tag for new release.
David Aspinall
2000-03-14
*
Updated
David Aspinall
2000-03-14
*
Typo
David Aspinall
2000-03-13
*
Fix parse error slipped through somehow.
David Aspinall
2000-03-13
*
Set version tag for new release.
David Aspinall
2000-03-13
*
Updated web pages.
David Aspinall
2000-03-13
*
Set version tag for new release.
David Aspinall
2000-03-10
*
News about HOL support.
David Aspinall
2000-03-10
*
Removed note to register from here.
David Aspinall
2000-03-10
*
Added note to register here
David Aspinall
2000-03-10
[prev]
[next]