]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/AUTHORS
New entry: relevant_equations.
[helm.git] / helm / http_getter / AUTHORS
1
2 - current version (the OCaml one!):
3
4     Stefano Zacchiroli <zack@cs.unibo.it>
5
6 - for the old Perl version:
7
8     Claudio Sacerdoti Coen  <sacerdot@cs.unibo.it>
9     Stefano Zacchiroli      <zack@cs.unibo.it>
10     Luca Padovani           <lpadovan@cs.unibo.it>
11