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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to