blob: 6a30ec356943b994e8f082f6db97b03630bc1afb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
-*- outline -*-
* Current Authors/Maintainers
** David Aspinall <da@dcs.ed.ac.uk>
doc, etc, generic, html, images, isa
** Patrick Loiseleur <Patrick.Loiseleur@lri.fr>
coq
** Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
isar
** Paul Callaghan <P.C.Callaghan@durham.ac.uk>
plastic
* Previous Authors:
** Thomas Kleymann
lego, doc, generic
** Healfdene Goguen
coq, generic, doc
** Dilip Sequeira
lego
|