| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Layout, comments. |  David Aspinall | 2002-07-14 |
| * | Move project desc to features listing | David Aspinall | 2002-07-14 |
| * | Improve layout | David Aspinall | 2002-07-14 |
| * | Style for lists tweaked. | David Aspinall | 2002-07-14 |
| * | New files. | David Aspinall | 2002-07-14 |
| * | Cleanup html, fix URLs to final versions. | David Aspinall | 2002-07-14 |
| * | First customized versions | David Aspinall | 2002-07-13 |
| * | Fix up. Still ugly. | David Aspinall | 2002-07-13 |
| * | New files. | David Aspinall | 2002-07-13 |
| * | Tidy up source, improve titles. | David Aspinall | 2002-07-13 |
| * | New files. | David Aspinall | 2002-07-13 |
| * | Fix link in mozilla in click_to_go_back. | David Aspinall | 2002-07-13 |
| * | Change colour but not boldness | David Aspinall | 2002-07-13 |
| * | Remove length rant | David Aspinall | 2002-07-13 |
| * | Fix typo | David Aspinall | 2002-07-13 |
| * | Improve form | David Aspinall | 2002-07-13 |
| * | Triv | David Aspinall | 2002-07-13 |
| * | Link to page mentioned by emacs guy | David Aspinall | 2002-07-13 |
| * | Remove extra hr, use h3 | David Aspinall | 2002-07-13 |
| * | Use proofgeneral.org mailing addresses again. | David Aspinall | 2002-07-13 |
| * | Reduce size to keep it smaller than main header | David Aspinall | 2002-07-13 |
| * | Fix mailman links, remove subscription form from here. | David Aspinall | 2002-07-13 |
| * | Fix link | David Aspinall | 2002-07-13 |
| * | Fix layout a bit | David Aspinall | 2002-07-13 |
| * | Tweak mailing list details, order of items. | David Aspinall | 2002-07-13 |
| * | Compress header, shrink images | David Aspinall | 2002-07-13 |
| * | Reorder, include links here. | David Aspinall | 2002-07-13 |
| * | Reformat | David Aspinall | 2002-07-13 |
| * | Add favicon to head | David Aspinall | 2002-07-13 |
| * | Add note about favicon. | David Aspinall | 2002-07-13 |
| * | Add note about favicon. | David Aspinall | 2002-07-13 |
| * | Deleted file | David Aspinall | 2002-07-13 |
| * | New files. | David Aspinall | 2002-07-13 |
| * | Trivial | David Aspinall | 2002-07-12 |
| * | condition-case -> ignore-errors, comment. | David Aspinall | 2002-07-12 |
| * | Mention probs with tracing mode. | David Aspinall | 2002-07-12 |
| * | Add some nesting examples | David Aspinall | 2002-07-12 |
| * | Give link to develdownload for latest docs | David Aspinall | 2002-07-02 |
| * | Remove description of known bugs. | David Aspinall | 2002-07-02 |
| * | Remove FIXME: have added definition of font-lock-preprocessor-face | David Aspinall | 2002-07-02 |
| * | Add definition of font-lock-preprocessor-face | David Aspinall | 2002-07-02 |
| * | Updated. | David Aspinall | 2002-07-01 |
| * | Syntax error | David Aspinall | 2002-07-01 |
| * | Updates for 3.4 | David Aspinall | 2002-07-01 |
| * | Updated. | David Aspinall | 2002-07-01 |
| * | Set version tag for new release. | David Aspinall | 2002-07-01 |
| * | Fix date on news item | David Aspinall | 2002-07-01 |
| * | Use executable-find | David Aspinall | 2002-07-01 |
| * | proof-restart: also remove idiom internal spans. | David Aspinall | 2002-07-01 |
| * | Fix problem with GNU Emacs support: switch to multibyte in output buffers | David Aspinall | 2002-07-01 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |