anchor.diff:  
         :: Set the 'FSI' variable to the path for F# 2.0 Interactive.
         set FSI= %FSI_20%
  -      set FSI_ARGS= %FSI_ARGS% --define:FSI_VER_2
   
     ) else (
         :: Unable to find the F# installation, so exit.
  
positive.code: 
    :: 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% (
  
negative.code: 
  :: Load the NHol environment into the detected version of F# Interactive.
  echo Loading NHol into F# Interactive.
  %FSI% %FSI_ARGS%
  