Hi everyone,
I just noticed that the main isabelle executable exits silently if the
last command in a settings file has a non-zero exit code (this might
happen quite naturally if for example $PATH_OF_COMPONENT does not exist
in the following construct:
[ -d "$PATH_OF_COMPONENT" ] && init_component "$PATH_OF_COMPONENT"
). Is this intentional or would a patch outputting an error message be
acceptable?
-- Lars
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
