Searched defs:exit (Results 1 - 3 of 3) sorted by relevance

/hets/utils/el/
H A Dcasl-mode.el358 (if (memq (process-status proc) '(signal exit))
371 (casl-compilation-handle-exit (process-status proc)
372 (process-exit-status proc)
401 (defun casl-compilation-handle-exit (process-status exit-status msg)
404 (status (cons msg exit-status))
423 (if (zerop exit-status)
H A Ddol-mode.el358 (if (memq (process-status proc) '(signal exit))
371 (dol-compilation-handle-exit (process-status proc)
372 (process-exit-status proc)
401 (defun dol-compilation-handle-exit (process-status exit-status msg)
404 (status (cons msg exit-status))
423 (if (zerop exit-status)
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 11 milliseconds