SEO
- The index page should have a more descriptive title, like "Spot: LTL and omega-automata manipulation library"
- The index page should have a
<meta>
tags fordescription
andkeywords
. - The on-line translator should use a
<h1>
tag for the the box "LTL (or PSL) Formula to translate"