Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Link to standalone comps | 2002-07-18 | |
* | Edit for brevity | 2002-07-16 | |
* | Put isa first | 2002-07-15 | |
* | Simplify system infos. | 2002-07-14 | |
* | Move project desc to features listing | 2002-07-14 | |
* | Fix link to feedback page | 2002-01-15 | |
* | Be politically correct about FSF GNU Emacs; update to mention version 21. | 2001-12-11 | |
* | Fix missing arg to get. | 2001-10-24 | |
* | Join paras | 2001-09-03 | |
* | Fix screenshot link | 2001-08-03 | |
* | Fix Coq link. | 2001-05-29 | |
* | preliminary -> experimental | 2001-05-08 | |
* | Fixes to main page | 2001-03-20 | |
* | Remove proofgeneral.org on main page | 2001-03-20 | |
* | Fix to Coq web page | 2001-03-20 | |
* | rename af2 -> Phox | 2000-12-15 | |
* | Tweak | 2000-09-29 | |
* | Remove messy link_root links. | 2000-09-29 | |
* | Moved to use .html instead of .phtml | 2000-09-28 | |
* | Renamed file | 2000-09-28 |