Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve feature list. | 2002-07-17 | |
* | Tweak | 2002-07-15 | |
* | Move project desc to features listing | 2002-07-14 | |
* | Fix URL for X-symbol | 2002-04-23 | |
* | Toolbar allowed in GNU Emacs 21 | 2001-12-11 | |
* | Text | 2001-09-03 | |
* | Fix link to screenshot | 2001-09-03 | |
* | Mention hiding proofs. | 2001-09-03 | |
* | Fix layout and typo. | 2001-05-29 | |
* | Remove messy link_root links. | 2000-09-29 | |
* | Moved to use .html instead of .phtml | 2000-09-28 | |
* | Renamed file | 2000-09-28 |