------------------------------------------------------------
-- index.html

added link to (submitted) file toc.pdf
[for printing, that also justifies why preface starts from page iii]

fixed authors for first Extended Abstract
 (wrong)   Anna Maria Bigatti, Anna Maria Bigatti, Elisa Palezzato
 (correct) John Abbott, Anna Maria Bigatti, Elisa Palezzato


------------------------------------------------------------
-- frontmatter pdfs

toc.pdf -- fixed paper title 
 (wrong)   New in CoCoA-5.2.4 and CoCoALib-0.99570 for SC-Square
 (correct) New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square

preface.pdf -- fixed name of conference/project
 (wrong)   Symbolic Computation and Satisfiability Checking
 (correct) Satisfiability Checking and Symbolic Computation

keyword_index.pdf -- homogenized capitalisation of keywords
[now all are lower case]


