Excerpts from Makarius's message of Fri Apr 06 06:34:47 -0400 2012:
> More than 4 years of Isabelle/Scala there is sufficient infrastructure to
> make it obsolete, and the "flagship application" of Isabelle/jEdit is
> doing reasonably well.
If PGIP is obsolete I would love to know, then I will not spend any time
learning it :-)
ProofGeneral-devel mailing list