The manual is available as a PDF or as HTML for online browsing.
(For developers and others who are working with the development branch of Tamarin: see here for the PDF and HTML in sync with develop.)