we have packaged ISabelle, see
https://launchpad.net/~hets/+archive/hets/+index?batch=75&memo=75&start=75
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/276556
Title:
[needs-packaging] Isabelle
To m
** Changed in: debian
Status: Unknown => New
--
[needs-packaging] Isabelle
https://bugs.launchpad.net/bugs/276556
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://li
** Description changed:
Isabelle is a generic proof assistant. It allows mathematical formulas
to be expressed in a formal language and provides tools for proving
those formulas in a logical calculus. The main application is the
formalization of mathematical proofs and in particular formal
** Bug watch added: Debian Bug tracker #494491
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=494491
** Also affects: debian via
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=494491
Importance: Unknown
Status: Unknown
--
[needs-packaging] Isabelle
https://bugs.launchpad.net/
Thanks for reporting this package suggestion and any supporting
documentation. Since this report has enough information provided for a
packager to begin work, I'm going to mark it as confirmed and let them
handle it from here. Thanks for taking the time to make Ubuntu better!
** Changed in: ubuntu
** Changed in: ubuntu
Status: New => Confirmed
--
[needs-packaging] Isabelle
https://bugs.launchpad.net/bugs/276556
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://
