Re: [ProofPower] Trying to Prove my Zed Specifications

2012-08-19 Thread Roger Bishop Jones
Jon, You are right that Rob is the man to answer your technical problem, but in the meantime I might be able to help you round it. "save_and_quit();" is something that I never use. If your system otherwise seems OK then you should go right ahead and work through the tutorial. Why don't I use

Re: [ProofPower] Trying to Prove my Zed Specifications

2012-08-19 Thread Rob Arthan
Jon, On 18 Aug 2012, at 22:14, Jon Lockhart wrote: > Rob, > > I got a trouble shooting question for you. Been going through the learning > documentation this weekend, currently still on the first tutorial wanting to > make sure I soak it all in before moving to HOL and Z, but I seem to be >

Re: [ProofPower] Trying to Prove my Zed Specifications

2012-08-19 Thread Jon Lockhart
Roger, Thanks I will look into the the make set up for when I am working on my own specifications and databases. Rob, Yes, the xpp interface locks. The command executes and then I can't access any of the taps in the journal window, the ML command line will not close, nor can I use the palette I