anchor.diff:  
   == Overview
   
  -OCaml is an implementation of the ML language, based on the Caml Light
  -dialect extended with a complete class-based object system and a powerful
  -module system in the style of Standard ML.
  +OCaml is a functional, statically-typed programming language from the
  +ML family, offering a powerful module system extending that of
  +Standard ML and a feature-rich, class-based object system.
   
   OCaml comprises two compilers. One generates bytecode which is then
  -interpreted by a C program. This compiler runs quickly, generates compact
  -code with moderate memory requirements, and is portable to essentially any
  -32 or 64 bit Unix platform. Performance of generated programs is quite good
  -for a bytecoded implementation.  This compiler can be used either as a
  -standalone, batch-oriented compiler that produces standalone programs, or as
  -an interactive, toplevel-based system.
  +interpreted by a C program. This compiler runs quickly, generates
  +compact code with moderate memory requirements, and is portable to
  +many 32 or 64 bit platforms. Performance of generated programs is
  +quite good for a bytecoded implementation.  This compiler can be used
  +either as a standalone, batch-oriented compiler that produces
  +standalone programs, or as an interactive REPL system.
   
   The other compiler generates high-performance native code for a number of
   processors. Compilation takes longer and generates bigger code, but the
  
positive.code: == Installation
  
  See the file link:INSTALL.adoc[] for installation instructions on
  machines running Unix, Linux, OS X and Cygwin.  For native Microsoft
  Windows, see link:README.win32.adoc[].
  
  == Documentation
  
negative.code: 
  == Keeping in Touch with the Caml Community
  
  There is an active and friendly discussion forum at
  
  https://discuss.ocaml.org/
  
  The OCaml mailing list is the longest-running forum for OCaml users.
  You can email it at
  
  