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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to