1.1 19-12-2025: Version 3.6 of the Isabelle ITL proof library
1.2 19-12-2025: Version 2.0 of FLCHECK
1.3 18-03-2025: Version 3.5 of the Isabelle ITL proof library
1.4 18-03-2025: Update ITL operators and ITL related publications
1.5 26-05-2024: Version 3.4 of the Isabelle ITL proof library
1.6 26-05-2024: Version 2.9 of the Isabelle ITL proof library