Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/Code/etc/settings
author haftmann
Tue, 01 Sep 2009 16:39:05 +0200
changeset 32481 236fa33784de
child 37693 abd5e69bd8cd
permissions -rw-r--r--
code generator is now a separate component 
     1 

     2 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
wneuper/isa