1.3 19-12-2025: Version 2.0 of FLCHECK

• Added the until and since operators from PTL and introduced an expanded library of derived operators.
• Left (past) and right (future) can be mixed, this requires a new semantics for FL.
• Added infinite intervals.
• Updated user interface.