blob: 418f63655e0db4216333048ee62359cfa97928b3 (
plain)
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
|
Current Authors/Maintainers:
David Aspinall <da@dcs.ed.ac.uk>
doc, etc, generic, html, images, isa, demoisa
Stefan Berghofer <sberghofer@informatik.tu-muenchen.de>
isar
Paul Callaghan <P.C.Callaghan@durham.ac.uk>
plastic, lego
Pierre Courtieu <courtieu@lri.fr>
coq
Christoph Rafalli <Christophe.Raffalli@univ-savoie.fr>
phox
Previous Authors:
Markus Wenzel (isar)
Thomas Kleymann (lego, doc, generic)
Healfdene Goguen (coq, generic, doc)
Dilip Sequeira (lego)
Patrick Loiseleur (coq)
Assistance also from:
David von Oheimb (x-symbol)
|
