anchor.diff:  
   :: Set variables which hold command-line arguments to be passed to F# Interactive.
   set fsi_args= --lib:NHol^
  -  --define:FSI_VER_2^
  +  fsi_ver^
     --define:DEBUG^
     --define:TRACE^
     --define:USE^
  
positive.code: 
        :: 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
  
negative.code: 
  :: Load the NHol environment into the detected version of F# Interactive.
  echo Loading NHol into F# Interactive.
  %FSI% %fsi_args%
  