HomeIsabelle/Phabricator

Reinstate tests on the command argument to Unix.execute to check it is…

Description

Reinstate tests on the command argument to Unix.execute to check it is executable.

Details

Provenance
dcjmAuthored on Fri, Apr 16, 6:53 PM
Parents
rPOLYML752120226579: Implement Unix.executeInEnv and hence Unix.execute largely in C rather
Branches
Unknown
Tags
Unknown