This update brings several improvements and fixes both to the presentation and use of the TOWeb interface and to the generation of PDF files for certain sections.
Update TOWeb to take advantage of these improvements! We have updated the page listing the new features you could benefit from by upgrading to TOWeb 13 if you are using version 12 or earlier (for example if you are upgrading from version 7 to 13).