index.html
1996-10-10 ago New root file with more description, and merging LK and Modal to Sequents
1996-05-30 ago Regrouped logo
1996-05-29 ago Added logo
1996-04-24 ago removed David's private version (i.e. restored version 1.1)
1996-04-23 ago *** empty log message ***
1995-10-26 ago renamed logics.html and 00-chart.html to index.html