anchor.diff:  
   :: 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^
  
positive.code: 
      :: Set the 'FSI' variable to the path for F# 3.0 Interactive.
      set FSI= %FSI_30%
  ) else (
  if exist %FSI_20% (
      :: VS 2010 / F# 2.0
      echo Using F# 2.0
  ) else (
      :: Unable to find the F# installation, so exit.
      echo Unable to find an installation of F# interactive at any known location.
  
negative.code:   --use:cart.fs^
    --use:define.fs^
    --use:help.fs^
    --use:database.fs^
  
  :: Try to find the user's installation of F# Interactive.
  if exist %FSI_30% (
  