next up previous contents
Next: The Platform Up: Tutorial Previous: Tutorial

Building the Prover if You are Somewhere Else

Run the source code under SML/NJ (Standard ML of New Jersey) then issue the command

exportML "sml_prover";

to create an executable file (actually a version of SML/NJ with the prover commands pre-loaded).

Randall Holmes
Fri Sep 5 16:28:58 MDT 1997