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 using
those as a starting point. Thank you for the pointer, though. These
packages are not quite ready for Debian, but we are working on it.
--
Lionel
Reply to: