in Hanoi of the Viet Flyspeck workers.
It seems 7 out of 8 use 'xpp' in preference to 'emacs'. That's better than
the cat food adverts!
Regards,
Mark.
on 6/7/10 7:40 PM, Rob Arthan r...@lemma-one.com wrote:
On 6 Jul 2010, at 10:29, Roger Bishop Jones wrote:
I find myself in puzzlement when trying
Note that instruction 4 for the ProofPower install instructions I just
posted is only for OCaml, and this will not feature in any general README
instructions.
Mark.
on 11/7/10 10:35 AM, m...@proof-technologies.com wrote:
I'm preparing some revised instructions (attached) for installation
I should have said that it should be 'libxp6' for all versions of Ubuntu,
not just Ubuntu 9.04.
Mark.
on 12/7/10 9:21 AM, m...@proof-technologies.com wrote:
Ok - it seems it should be 'libxp6' not 'libxp'. That is, the instruction
for ancestor packages for installing OpenMotif on Ubuntu
package, meson), and to make it
an HTML file or PDF.
Many thanks to Rob and Roger for helping me with many parts of this
glossary.
Mark Adams
Proof Technologies Ltd
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo
for imp002 say?
Which log file?
Cheers,
Mark.
On 15/06/2017 02:27, Phil Clayton wrote:
Hi Mark,
You probably need to do
yum install openmotif-devel
to ensure that the Motif C header files are also installed.
ProofPower 3.1w7 doesn't build with Poly/ML 5.7 due to a change in
the
integer
install_pp) (PPCompiler.make_pp ["BasicError", ...]
error_pp)
end)
*** Fail: Fail "Static Errors" ***
Chers,
Mark.
On 15/06/2017 02:27, Phil Clayton wrote:
Hi Mark,
You probably need to do
yum install openmotif-devel
to ensure that the Motif C header files are also installed.
Hello Rob, I'm still here!
Mark.
On 06/11/2023 00:54, Rob Arthan wrote:
This is an attempt to investigate what happened to the ProofPower
mailing list and to see if I can bring it back to life.
If you get this message please reply.
Best regards,
Rob