AUTHORS


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

Current Authors/Maintainers:

   Pierre Courtieu     (Coq, lib)
   Erik Martin-Dorel   (Coq, Web site)
   Clément Pit-Claudel (Coq, packaging)
   Henrik Tews         (Proof Tree)

Previous Authors:

   David Aspinall     (all)
   Christoph Raffalli (PhoX)
   Makarius Wenzel    (Isar, generic)
   Stefan Berghofer   (Isar)
   Paul Callaghan     (Plastic, Lego)
   Healfdene Goguen   (Coq, generic, doc)
   Thomas Kleymann    (Lego, doc, generic)
   Patrick Loiseleur  (Coq)
   Stefan Monnier     (Coq)
   Yves Bertot        (generic)
   David von Oheimb   (X-Symbol)
   Dilip Sequeira     (Lego, generic)
   Graham Dutton      (Web support)

These are the main "official" authors of Proof General, but many more
people have contributed, some very significantly.  We're grateful to
everyone who has!  Please see the CREDITS section in the manual for a
more complete list.