doc-src/TutorialI/free-copies
author wenzelm
Wed Jul 25 12:38:54 2012 +0200 (2012-07-25)
changeset 48497 ba61aceaa18a
parent 13238 a6cb18a25cbb
permissions -rw-r--r--
some updates on "Building a repository version of Isabelle";
     1 * means: has received copy.
     2 
     3 David Aspinall*
     4 Clemens Ballarin*
     5 Gertrud Bauer*
     6 Stefan Berghofer*
     7 Gerwin Klein*
     8 David von Oheimb*
     9 Farhad Mehta*
    10 Stephan Merz*
    11 Leonor Prensa Nieto*
    12 Cornelia Pusch
    13 Bernhard Rumpe	(wants a signed copy!)*
    14 Norbert Schirmer*
    15 Martin Strecker*
    16 Ralf Steinbrueggen*
    17 
    18 Essential colleagues:
    19 
    20 Prof. Harald Ganzinger*
    21 Max-Planck-Institut für Informatik
    22 Im Stadtwald
    23 66123 Saarbrücken
    24 
    25 Prof. Bob Boyer*
    26 Department of Computer Sciences
    27 University of Texas at Austin
    28 Austin, TX 78712-1188 U.S.A.
    29 
    30 Prof. J Moore*
    31 Department of Computer Sciences
    32 University of Texas at Austin
    33 Austin, TX 78712-1188
    34 U.S.A.
    35 
    36 Prof. Frank Pfenning*
    37 Department of Computer Science
    38 Carnegie Mellon University
    39 Pittsburgh, PA 15213-3891
    40 U.S.A.
    41 
    42 Dr. Shankar*
    43 SRI International
    44 333 Ravenswood Avenue,
    45 Menlo Park, CA, 94025-3493
    46 U.S.A.
    47 
    48 Prof. Andrei Voronkov*
    49 Department of Computer Science
    50 The University of Manchester
    51 Oxford Road
    52 Manchester M13 9PL
    53 England
    54 
    55 Cambridge people:
    56 Tony Hoare
    57 Mike Gordon*
    58 Sidi Ehmety
    59 Frederic Blanqui*
    60 James Margetson
    61 Robin Milner*
    62 
    63 Sara Kalvala
    64 
    65 
    66 (for contributing comments)
    67 
    68 dr. Stefano Bistarelli*
    69 Istituto per le Applicazioni Telematiche
    70 C.N.R. Pisa
    71 Area della Ricerca, Via G. Moruzzi, 1
    72 56124 Pisa
    73 Italien
    74 
    75 Gergely Buday*
    76 Karl-Ferlemann Str. 16.
    77 04177 Leipzig
    78 
    79 
    80 Tanja Vos*
    81 C/ Ing. Joaquin Benlloch 85-Esc A-25
    82 46026 Valencia
    83 Spain
    84 
    85 Further colleagues:
    86 
    87 Manfred Broy*
    88 
    89 Ursula Martin*
    90 School of Computer Science 
    91 University of St Andrews 
    92 St Andrews KY16 6SS 
    93 Scotland 
    94 UK