| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
| * | Added simplified interaction section | David Aspinall | 1999-11-19 |
| * | Set version tag for new release. | David Aspinall | 1999-11-18 |
| * | Call it functions menu, that's its name. Spacing. | David Aspinall | 1999-11-18 |
| * | Trivial | David Aspinall | 1999-11-18 |
| * | Section on what you need for PG | David Aspinall | 1999-11-18 |
| * | Fixed a broken link. Rephrased some bits. | David Aspinall | 1999-11-18 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |