Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Mutabelle/lib/Tools/mutabelle
changeset 62677 0df43889f496
parent 62676 1792f8ed2b04
equal deleted inserted replaced
62676:1792f8ed2b04 62677:0df43889f496 
   132 
   132 
   133 
   133 
   134 # execution
 
   134 # execution
 
   135 
   135 
   136 isabelle process -o auto_time_limit=10.0 \
 
   136 isabelle process -o auto_time_limit=10.0 \
 
   137   -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' -l "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1
 
   137   -T "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test" -l "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1
 
   138 
   138 
   139 
   139 
   140 [ $? -ne 0 ] && echo "isabelle processing of mutabelle failed"
 
   140 [ $? -ne 0 ] && echo "isabelle processing of mutabelle failed"
 
   141 
   141 
   142 
   142
isabelle