[Openmcl-devel] problem quitting the compiler

Gail Zacharias gz at clozure.com
Thu Jul 17 08:59:47 PDT 2014

You should look at packages - *package*,

On Thu, Jul 17, 2014 at 11:40 AM, Gergely Buday <gbuday at gmail.com> wrote:

> On 17 July 2014 17:32, Gail Zacharias <gz at clozure.com> wrote:
> > You're probably in some random package. Try (ccl:quit).
> Thanks. Starting the compiler with scripts/ccl64 I was able to compile
> my software and save the image by (save-application). Upon loading it
> it does not behave as if it were run from the REPL -- it does not
> recognise the definitions that are in theory there. What should I pay
> attention for here?
> This is nqthm-1992, an archaic theorem prover. I compiled it according
> to its README, then I restarted ccl, loaded nqthm, loaded a proof
> script and then I used (save-application).
> - Gergely
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.clozure.com/pipermail/openmcl-devel/attachments/20140717/4b3ded2d/attachment.htm>

More information about the Openmcl-devel mailing list