Re: [isabelle] the state of the lattice theories



On Thu, Jul 28, 2011 at 1:01 AM, Peter Gammie <peteg42 at gmail.com> wrote:
> More generally, is there (or should there be) a bug/feature/wishlist tracker for Isabelle for these sorts of things? It might help reduce parallel developments, or least clarify what their relative strengths are.

Why don't you just start one yourself? I don't think it matters too
much who hosts it, as long as we can get enough people use it. I would
definitely use it.

- Brian





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.