aboutsummaryrefslogtreecommitdiff
path: root/html/news.phtml
AgeCommit message (Expand)Author
2000-09-28Renamed fileDavid Aspinall
2000-09-27Updated web pages, misc improvements.David Aspinall
2000-09-23Forthcoming news itemDavid Aspinall
2000-09-14UpdatesDavid Aspinall
2000-08-29TweakDavid Aspinall
2000-08-28News updatedDavid Aspinall
2000-05-25Second toolbar patch in 3.1.6 now.David Aspinall
2000-05-25Fix para spacingDavid Aspinall
2000-05-25Note about 3.1.6David Aspinall
2000-05-09Added browsable CVS.David Aspinall
2000-05-05Missing paraDavid Aspinall
2000-05-05Buglet in htmlDavid Aspinall
2000-05-05Hot news about FAQ.David Aspinall
2000-04-28Added note about 3.1.4 patch, merged from 3.1 branchDavid Aspinall
2000-04-04Updated news about 3.1.3, split old news out.David Aspinall
2000-03-233.1 available nowDavid Aspinall
2000-03-13Updated web pages.David Aspinall
2000-03-10News about HOL support.David Aspinall
2000-02-17TypoDavid Aspinall
2000-02-15Rephrasing.David Aspinall
2000-02-15New development pages added, more linksDavid Aspinall
2000-02-09Added note about countdown to 3.1David Aspinall
1999-12-14Added slides, news about ETAPS demo.David Aspinall
1999-11-26Removed brackets.David Aspinall
1999-11-26News file purged.David Aspinall
1999-11-23Fix X-Symbol nameDavid Aspinall
1999-11-17Another typoDavid Aspinall
1999-11-17TypoDavid Aspinall
1999-11-17Rewrote some history. Fixed pg_email link.David Aspinall
1999-11-17Link to demoisa-easy.elDavid Aspinall
1999-11-15Added in-testing messageDavid Aspinall
1999-11-09No unless notedDavid Aspinall
1999-11-09News about x-symbolDavid Aspinall
1999-11-08Note about release 3.0.David Aspinall
1999-10-21Typo.David Aspinall
1999-10-21Updated for new screenshotDavid Aspinall
1999-10-14Version 3.0 messageDavid Aspinall
1999-10-12Note about author added, removed signatures.David Aspinall
1999-10-12New Coq maintainer.David Aspinall
1999-10-06News later this month.David Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-09-30News for 1st October.David Aspinall
1999-09-24Added names of helpful people at summer shcoolDavid Aspinall
1999-09-23Fixed up date order.David Aspinall
1999-09-22Added item about GiensDavid Aspinall
1999-08-27wordingDavid Aspinall
1999-08-27Added galleryDavid Aspinall
1999-08-24Altered release date for 2.1.David Aspinall
1999-08-23Very soon now = nowDavid Aspinall
1999-08-20Tweaks for 2.1 releaseDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 09:40:20 +0000