anchor.diff:  
     :: Set the 'FSI' variable to the path for F# 3.0 Interactive.
     set FSI= %FSI_30%
  -  set FSI_ARGS= %FSI_ARGS% --define:FSI_VER_3
   
   ) else (
     if exist %FSI_20% (
  
positive.code: 
  :: Load the NHol environment into the detected version of F# Interactive.
  echo Loading NHol into F# Interactive.
  %FSI% %fsi_args%
  
negative.code: 
        :: Set the 'FSI' variable to the path for F# 2.0 Interactive.
        set FSI= %FSI_20%
  
    ) else (
        :: Unable to find the F# installation, so exit.
  