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

[Loïc Fejoz <loic@fejoz.net>]

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: Lionel Elie Mamane <lionel@mamane.lu>, brucker@member.fsf.org
> 
> * Package name    : isabelle
>   Version         : 2008
>   Upstream Author : University of Cambridge (Larry Paulson), Technische Universitaet Muenchen (Tobias Nipkow, Makarius Wenzel)
> * URL             : http://isabelle.in.tum.de/, http://www.cl.cam.ac.uk/research/hvg/Isabelle/
> * License         : 3-clause BSD-like
>                     (non-free documentation)
>   Programming Lang: Standard ML
>   Description     : Generic theorem proving environment