When developing a Specware application you generate Lisp code for your application, and then load and test it in the same image in which the Specware system is running. Then if you make a modification to a single spec you can use the lgen-lisp command to just generate the generated code for the modification. This command is also useful when you just want to see the generated code for a particular spec.
To load Lisp files from the Specware Shell, the following commands can be used:
ld [lisp-filename] |
The generated Lisp files can also be compiled from the Specware Shell, but of course only if the running Lisp system has compiling enabled:
cf [lisp-filename] |
cl [lisp-filename] |