anchor.diff:  
         :: Set the 'FSI' variable to the path for F# 3.0 Interactive.
         set FSI= %FSI_30%
  +      set fsi_args=!fsi_args:fsi_ver=--define:FSI_VER_3!
   
  -      set FSI_VER_FLAG = ""
      ) else (
         if exist %FSI_20% (
             :: VS 2010 / F# 2.0
  
positive.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^
  
negative.code: 
  :: Load the NHol environment into the detected version of F# Interactive.
  echo Loading NHol into F# Interactive.
  %FSI% %fsi_args%
  