Projects / IsaMorph / Releases

All releases of IsaMorph

  •  02 Jan 2006 17:27
Avatar

    Release Notes: This is release updates all software on the CD, including all base utilities and all Isabelle related software. Particularly, this is the first release featuring the latest Isabelle version (2005), X-Symbol (3.6pre), and also HOL-TestGen (1.1.1).

    •  29 Jul 2004 10:31
    Avatar

      Release Notes: The desktop was reorganized and new examples were added based on the Isabelle distribution and submissions to the Archive of Formal Proofs.

      Screenshot

      Project Spotlight

      episoder

      A tool to tell you about new episodes of your favourite TV shows.

      Screenshot

      Project Spotlight

      BalanceNG

      A modern software IP load balancer.