Artur, What do the top 10 lines of src/dtd048.ldd say?
Regards, Rob. On Saturday 20 Dec 2008 12:53 pm, Artur Oliveira Gomes wrote: > Rob, > > > The signature should have been defined when dtd048.sml was compiled. The > > log > > from compiling dtd048.sml should be in src/dtd048.ldd, so do you have > > that file? And what does it say? > > val unpack_ident : string -> string * string > val val_numeral : string -> int > val val_set_ident : string list -> string > val z_sig_order : string -> string -> int > end > val it = () : unit > +++ Compiled dtd048.sml: OK (Compilation Run Complete) +++ > Exception Fail * The database name has not been set [save_and_exit.36010] * > raised > > :) End of input to use_terminal. Quit. _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
