1.1 14-09-2023: Version 3.6 of (Ana)Tempura
  1.2 13-09-2023: Version 3.3 of the Isabelle ITL proof library
  1.3 12-09-2023: New layout of web pages