anchor.diff:  
       :: Set the 'FSI' variable to the path for F# 3.0 Interactive.
       set FSI= %FSI_30%
  +
  +    set FSI_VER_FLAG = ""
   ) else (
   if exist %FSI_20% (
       :: VS 2010 / F# 2.0
       echo Using F# 2.0
  +
  +    :: Set the 'FSI' variable to the path for F# 2.0 Interactive.
  +    set FSI= %FSI_20%
  +
  +	  
  +    set FSI_VER_FLAG = "--define:FSI_VER_2"
   ) else (
       :: Unable to find the F# installation, so exit.
       echo Unable to find an installation of F# interactive at any known location.
  
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 variables which hold command-line arguments to be passed to F# Interactive.
  set fsi_args= --lib:NHol^
    --define:FSI_VER_2^
    --define:DEBUG^
    --define:TRACE^
    --define:USE^
  