X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/34e491640531bd81a0e2238fd599e1aafe53613e..feec80c30d140c69f5d894bd09b6071247d0fbaa:/credits.txt diff --git a/credits.txt b/credits.txt index c2e01b7..3b7fb55 100644 --- a/credits.txt +++ b/credits.txt @@ -1,10 +1,12 @@ Thanks to + - Alexander Faroy for the vim SmPL mode - Didier Le Botlan for the name of the tool: spatch. - A guy from Cornell for suggesting the term "semantic patch". Thanks to - - Francois Pottier and Yann Regis-Gianas for menhir - - arty@users.sourceforge.net for pycaml + - Francois Pottier and Yann Regis-Gianas for menhir and menhirlib/ + - arty@users.sourceforge.net for pycaml/ + - Jane Street for ocamlsexp/ - Richard Jones for his dumper module, Thanks of course also to Stallman, Linus, Leroy, Knuth and their