anchor.diff:  
   :: Load the NHol environment into the detected version of F# Interactive.
   echo Loading NHol into F# Interactive.
  -%FSI% %fsi_args%
  +%FSI% %FSI_ARGS%
  
positive.code: )
  
  :: Set variables which hold command-line arguments to be passed to F# Interactive.
  set fsi_args= --lib:NHol^
    --define:DEBUG^
    --define:TRACE^
    --define:USE^
  
negative.code: set FSI_30= "C:\Program Files (x86)\Microsoft SDKs\F#\3.0\Framework\v4.0\fsi.exe"
  set FSI_20= "C:\Program Files (x86)\Microsoft F#\v4.0\fsi.exe"
  
  :: Arguments to be passed to FSI, regardless of which version we're using.
  set FSI_ARGS=
  
  :: Try to find the user's installation of F# Interactive.
  if exist %FSI_30% (
    :: VS 2012 / F# 3.0
  