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
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-22
Set version tag for new release.
David Aspinall
2000-03-22
Suggest links on same page.
David Aspinall
2000-03-19
Set version tag for new release.
David Aspinall
2000-03-19
Improved links, new project on ACS.
David Aspinall
2000-03-14
Set version tag for new release.
David Aspinall
2000-03-14
Updated
David Aspinall
2000-03-13
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-10
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
Exp support is in ordinary release, Plastic is special case.
David Aspinall
2000-03-10
Updated
David Aspinall
2000-03-10
Brevity
David Aspinall
2000-03-09
Set version tag for new release.
David Aspinall
2000-03-09
Added project for HOL PG
David Aspinall
2000-03-09
Cleaned old lines
David Aspinall
2000-03-09
Added link to CHANGES on this page
David Aspinall
2000-03-09
Only set page title if not already set
David Aspinall
2000-03-09
Tweaks
David Aspinall
2000-03-08
Set version tag for new release.
David Aspinall
2000-03-08
Added link to Claudios page.
David Aspinall
2000-03-08
Added numbers to refer to projects more easily.
David Aspinall
2000-03-08
English
David Aspinall
2000-03-08
Tweaks. Me as LEGO maintainer as well as Paul.
David Aspinall
2000-03-08
Elaborated idea a bit
David Aspinall
2000-03-08
Hard sell on elisp.
David Aspinall
2000-03-08
Links to developers todo files and README added. Prerelversion notified.
David Aspinall
2000-03-01
Fix parse error oops
David Aspinall
2000-03-01
Set version tag for new release.
David Aspinall
2000-03-01
Unify terminology.
David Aspinall
2000-03-01
New projects added
David Aspinall
2000-02-29
Set version tag for new release.
David Aspinall
2000-02-29
Include html in a small page via this page.
David Aspinall
2000-02-29
Put projects onto separate pages.
David Aspinall
2000-02-29
New projects directory.
David Aspinall
2000-02-28
Set version tag for new release.
David Aspinall
2000-02-28
Added some more projects
David Aspinall
2000-02-24
Set version tag for new release.
David Aspinall
2000-02-24
Add link to white paper.
David Aspinall
2000-02-24
Fix title
David Aspinall
2000-02-17
Typo
David Aspinall
2000-02-17
Set version tag for new release.
David Aspinall
2000-02-17
Added browser project
David Aspinall
2000-02-17
Typo
David Aspinall
[next]