Commit 08dd142f authored by POTTIER Francois's avatar POTTIER Francois

Updated and recoded AUTHORS.

parent bd7310b9
Franois Pottier <Francois.Pottier@inria.fr>
Yann Rgis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>
Authors:
François Pottier <Francois.Pottier@inria.fr>
Yann Régis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>
Contributors:
Frédéric Bour (incremental engine, inspection API)
Jacques-Henri Jourdan (Coq back-end)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment