Mercurial Mercurial > repos > isabelle / annotate
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/etc/settings
author blanchet
Wed, 08 Dec 2010 22:17:52 +0100
changeset 41089 2e69fb6331cb
parent 41077 fd6f41d349ef
child 41308 9e576ec5c0dc
permissions -rw-r--r--
moved function to later module
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
40975
498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing
bulwahn
parents:
diff changeset 
     1
 
MUTABELLE_HOME="$COMPONENT"
498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing
bulwahn
parents:
diff changeset 
     2
 







41077






fd6f41d349ef
improving the mutabelle script



bulwahn


parents: 
40975

diff
changeset




     3


DEFAULT_MUTABELLE_LOGIC=HOL













fd6f41d349ef
improving the mutabelle script



bulwahn


parents: 
40975

diff
changeset




     4


DEFAULT_MUTABELLE_IMPORT_THEORY=Complex_Main













fd6f41d349ef
improving the mutabelle script



bulwahn


parents: 
40975

diff
changeset




     5


DEFAULT_MUTABELLE_OUTPUT_PATH=/tmp/mutabelle








40975






498f272b4bcb
adding mutabelle as a component and an isabelle tool to be used in regression testing



bulwahn


parents: 

diff
changeset




     6














498f272b4bcb
adding mutabelle as a component and an isabelle tool to be used in regression testing



bulwahn


parents: 

diff
changeset




     7


ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"















isabelle