aboutsummaryrefslogtreecommitdiff
path: root/html/main.html
AgeCommit message (Expand)Author
2002-07-18Link to standalone compsDavid Aspinall
2002-07-16Edit for brevityDavid Aspinall
2002-07-15Put isa firstDavid Aspinall
2002-07-14Simplify system infos.David Aspinall
2002-07-14Move project desc to features listingDavid Aspinall
2002-01-15Fix link to feedback pageDavid Aspinall
2001-12-11Be politically correct about FSF GNU Emacs; update to mention version 21.David Aspinall
2001-10-24Fix missing arg to get.David Aspinall
2001-09-03Join parasDavid Aspinall
2001-08-03Fix screenshot linkDavid Aspinall
2001-05-29Fix Coq link.David Aspinall
2001-05-08preliminary -> experimentalDavid Aspinall
2001-03-20Fixes to main pageDavid Aspinall
2001-03-20Remove proofgeneral.org on main pageDavid Aspinall
2001-03-20Fix to Coq web pageDavid Aspinall
2000-12-15rename af2 -> PhoxDavid Aspinall
2000-09-29TweakDavid Aspinall
2000-09-29Remove messy link_root links.David Aspinall
2000-09-28Moved to use .html instead of .phtmlDavid Aspinall
2000-09-28Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:31:56 +0000