On Wednesday 20 Oct 2010 10:14, Roger Bishop Jones wrote:
...
> If you want to run through usr023_slides.doc, then do it
> using the database "zed".
>
> xpp -f $PPHOME/doc/usr023_slides.doc -d example_zed
That should have been:
xpp -f $PPHOME/doc/usr023_slides.doc -d zed
Roger Jones
__
On Tuesday 19 Oct 2010 23:13, Igorj V wrote:
> this document is usefull
>
> usr011.pdf ProofPower Z Tutorial
>
> because i am trying to strugle with Z specification
> language opening excercises
Note that in usr011.pdf it says:
(section 0.5 - Prerequisites)
"We assume a working knowledge o
On Monday 18 Oct 2010 23:17, Igorj V wrote:
> hello
> after one year break i am trying to make some theory ;
> (it is for university course ; )
> now reading proofpower_tutorial.pdf
I'm not aware that there is such a document!
The tutorial documents are:
usr004.pdf ProofPower Tutori
hello
after one year break i am trying to make some theory ; (it is for
university course ; )
now reading proofpower_tutorial.pdf
one thing which i do not understand when opening example from
directory /opt/pp/doc/ from xpp how to lauch something to prove?!
when using pp -d demo i managed to enter
Igor,
The various tutorial manuals are the best place to start.
Regards,
Rob.
On 19 Nov 2009, at 18:41, Igorj V wrote:
> it seems after computer reboot error disappeared;
> i have one training task to write a specification in Z language about course
> register in university; also with a) ; b)
Igorj,
Can you try running it like this to give some more diagnostic output:
PPENVDEBUG=y ../bin/pp_make_database -p hol demo
Regards,
Rob.
On 18 Nov 2009, at 13:18, Igorj V wrote:
> command pp_make_database -p hol receives such error ; what is missing?!
>
> ig...@igorj-laptop:/opt/pp/db$ .
command pp_make_database -p hol receives such error ; what is missing?!
ig...@igorj-laptop:/opt/pp/db$ ../bin/pp_make_database -p hol demo
../bin/pp_make_database: line 157: findfile: command not found
../bin/pp_make_database: line 158: findfile: command not found
pp_make_database: database hol.p
Igor,
You would need to use an old version (4.2) of Poly/ML for version 2.7.8 of
ProofPower. Do you have a special reason for not using the latest version
(2.8.1) of ProofPower?
Regards,
Rob.
On 16 Nov 2009, at 19:44, Igorj V wrote:
> when using polyML still some error; missing ML_dbase (tr
when using polyML still some error; missing ML_dbase (tryed find -name
'*ML_dbase*')
ig...@igorj-laptop:~/Desktop/OpenProofPower-2.7.8$ ./configure
Using /opt/pp as the installation target directory
Using Poly/ML
ERROR: The file "/usr/lib/poly/ML_dbase" does not exist
2009/11/16 Rob Arthan
> I
Igor,
It looks like an incompatibility with SML/NJ has slipped through. I will
correct this and supply a patch. In the mean time, I strongly recommend you to
use Poly/ML rather than SML/NJ if you can. Poly/ML is much faster and uses a
lot less memory than SML/NJ. It is also better supported the
On 14 Nov 2009, at 11:01, Igorj V wrote:
> trying t install OpenProofPower-2.7.8
> appears some error
>
> how to read build.log file?!
It is telling you that it failed while compiling file imp116.sml. The output
from the compilation will be in the file src/imp116.err. Have a look at that.
Re
trying t install OpenProofPower-2.7.8
appears some error
how to read build.log file?!
build.log
Description: Binary data
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
-- Forwarded message --
From:
Date: 2009/11/10
Subject: Re: [ProofPower] help
To: v.ig...@gmail.com
You are not allowed to post to this mailing list, and your message has
been automatically rejected. If you think that your messages are
being rejected in error, contact the
On Monday 09 November 2009 19:48:04 Igorj V wrote:
> may be some one could explain me such error when installing proofpower?!
>
> troff: fatal error: can't find macro file s
I had that problem, and the question has been asked and answered.
The answer is in the archive here:
http://lemma-one.com/
-- Пересылаемое сообщение --
From: Igorj V
To: mail...@lemma-one.com
Date: Sun, 8 Nov 2009 22:41:05 +0200
Subject: Fwd: asking for assistance about proofpower
hallo ; how to register one post ?!
trying to install proofpower receive some error below; (whom to ask for some
assistance
15 matches
Mail list logo
