equal
deleted
inserted
replaced
24 echo " Options are:" |
24 echo " Options are:" |
25 echo " -L LOGIC parent logic to use (default $MIRABELLE_LOGIC)" |
25 echo " -L LOGIC parent logic to use (default $MIRABELLE_LOGIC)" |
26 echo " -T THEORY parent theory to use (default $MIRABELLE_THEORY)" |
26 echo " -T THEORY parent theory to use (default $MIRABELLE_THEORY)" |
27 echo " -O DIR output directory for test data (default $out)" |
27 echo " -O DIR output directory for test data (default $out)" |
28 echo " -t TIMEOUT timeout for each action in seconds (default $timeout)" |
28 echo " -t TIMEOUT timeout for each action in seconds (default $timeout)" |
29 echo " -q be quiet (suppress output of Isabelle process)" |
29 echo " -q be quiet (suppress output of Isabelle process)" |
30 echo |
30 echo |
31 echo " Apply the given actions (i.e., automated proof tools)" |
31 echo " Apply the given actions (i.e., automated proof tools)" |
32 echo " at all proof steps in the given theory files." |
32 echo " at all proof steps in the given theory files." |
33 echo |
33 echo |
34 echo " ACTIONS is a colon-separated list of actions, where each action is" |
34 echo " ACTIONS is a colon-separated list of actions, where each action is" |