credits.txt

   1 Thanks to
   2  - Didier Le Botlan for the name of the tool: spatch.
   3  - A guy from Cornell for suggesting the term "semantic patch".
   4
   5 Thanks to
   6  - Francois Pottier and Yann Regis-Gianas for menhir
   7  - arty@users.sourceforge.net for pycaml
   8  - Richard Jones for his dumper module,
   9
  10 Thanks of course also to Stallman, Linus, Leroy, Knuth and their
  11 acolytes for respectively Emacs, Linux, OCaml, and (La)TeX.