Bug#494491: ITP: isabelle -- Generic theorem proving environment

Good news ! Someone already have a repository: deb http://kisogawa.inf.ethz.ch/isamorph/debian/ testing main It may worth have a look at it... PS : Same for PolyML (Bug#494488: ITP: polyml). -- cheers, Loïc Fejoz Lionel Elie Mamane a écrit : > Package: wnpp > Severity: wishlist > Owner: Lione

Bug#494491: ITP: isabelle -- Generic theorem proving environment

On Mon, Aug 11, 2008 at 10:08:44AM +0200, Loïc Fejoz wrote: > Someone already have a repository: > deb http://kisogawa.inf.ethz.ch/isamorph/debian/ testing main > It may worth have a look at it... Actually, Achim also has a repository http://www.brucker.ch/projects/debian/index.en.html. We are u

Bug#494491: ITP: isabelle -- Generic theorem proving environment

Package: wnpp Severity: wishlist Owner: Lionel Elie Mamane <[EMAIL PROTECTED]>, [EMAIL PROTECTED] * Package name: isabelle Version : 2008 Upstream Author : University of Cambridge (Larry Paulson), Technische Universitaet Muenchen (Tobias Nipkow, Makarius Wenzel) * URL