Date of diffusion: september 2008
New Functionalities / Characteristics:

  • New supported operating systems: Mac OS X and Windows (in addition to Linux and Solaris)
  • New graphical interface proposing:
    • the integration of the parallelisor (tasks are distributed over networked computers)
    • a redesigned proof interface
    • an editor with navigation and automatic completion
  • Integration of the well-definedness proof obligations
  • Addition of an automatic refiner tool (BART)