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 :-) Cheers, Edward _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
