[ProofPower] AVoCS 2015: Extended Paper Deadline

== ---|*** AVoCS 2015: Deadline Extension ***|--- == *NEW* Submission of abstract (full papers): 15th June 2015 *NEW* Submission of

Re: [ProofPower] Issue in compiling OpenProofPower-3.1w5 on Xubuntu (Ubuntu) 14.04 LTS

Daniel, I am taking the liberty of copying this to the ProofPower mailing list as it may be of interest to other users. Perhaps you might like to join the list and continue the discussion there. Most interactive users of ProofPower need the online documentation and they also want to create ProofP