Changeset 11627

Show
Ignore:
Timestamp:
30.03.2009 16:35:15 (12 months ago)
Author:
maeder
Message:

export HETS_OWL_TOOLS instead of PARSER

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/hets.in

    r11626 r11627  
    5252HETS_APROVE=$INSTALL_PATH/lib/hets/java/AProVE.jar 
    5353 
    54 export HETS_LIB ISABELLE_HOME HETS_ISABELLE HETS_OWL_PARSER \ 
     54export HETS_LIB ISABELLE_HOME HETS_ISABELLE HETS_OWL_TOOLS \ 
    5555    UNIWISH UNIDAVINCI UDG_HOME HETS_APROVE 
    5656