| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |