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 <[EMAIL PROTECTED]>, [EMAIL PROTECTED] > > * 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]