It ends with: val it = () : unit +++ Compiled dtd048.sml: OK (Compilation Run Complete) +++ Exception Fail * The database name has not been set [save_and_exit.36010] * raised
2009/1/23 Rob Arthan <r...@lemma-one.com>: > Artur (& Steven), > > On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote: > >> Hi there, >> >> Build.log output: > >> ... >> >> ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.log >> cat: src/dtd048.log: No such file or directory > > Sorry, I mean src/dtd048.ldd - what do you have in that? > > Regards, > > Rob. > > > _______________________________________________ > Proofpower mailing list > Proofpower@lemma-one.com > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > -- Steven Ramsay Research Student Oxford University Computing Laboratory _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com