| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 2000-02-17 | Fixup tar options | David Aspinall |
| 2000-02-15 | Minor improvements | David Aspinall |
| 2000-02-15 | Minor improvements | David Aspinall |
| 2000-02-15 | More projects aded | David Aspinall |
| 2000-02-15 | Note about registering. | David Aspinall |
| 2000-02-15 | Rephrasing. | David Aspinall |
| 2000-02-15 | Set version tag for new release. | David Aspinall |
| 2000-02-15 | Remove duplicate entry. | David Aspinall |
| 2000-02-15 | New development pages added, more links | David Aspinall |
| 2000-02-09 | Added link to OMEGA. | David Aspinall |
| 2000-02-09 | Improved download docs | David Aspinall |
| 2000-02-09 | Added note about countdown to 3.1 | David Aspinall |
| 2000-02-09 | Set version tag for new release. | David Aspinall |
| 2000-02-09 | Direction to look at BUGS file | David Aspinall |
| 2000-01-26 | Set version tag for new release. | David Aspinall |
| 2000-01-20 | Set version tag for new release. | David Aspinall |
| 2000-01-18 | Fix to validator links | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |