On Thu, Nov 29, 2018 at 9:35 AM Emilio Jesús Gallego Arias <e...@x80.org> wrote: > In my opinion, it seems very likely that the branch will never reach a > working state; mainly because it would be hard to justify putting time > to fix it when you have other alternatives that allow a much lightweight > and robust implementation.
As the guy who wrote that branch, I tend to agree. -- Paul _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
