Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/TutorialI/free-copies
changeset 13083 c9765a59ae6f
parent 13082 8f5d8751f401
child 13086 3bd1df57ee00
equal deleted inserted replaced
13082:8f5d8751f401 13083:c9765a59ae6f 
     1 * means: has received copy.
 
     1 * means: has received copy.
 
     2 
     2 
     3 David Aspinall*
 
     3 David Aspinall*
 
     4 Clemens Ballarin*
 
     4 Clemens Ballarin*
 
     5 Gertrud Bauer*
 
     5 Gertrud Bauer*
 
     6 Stefan Berghofer
 
     6 Stefan Berghofer*
 
       
     7 Gerwin Klein
 
     7 David von Oheimb
 
     8 David von Oheimb
 
     8 Farhad Mehta*
 
     9 Farhad Mehta*
 
     9 Stephan Merz
 
    10 Stephan Merz
 
    10 Leonor Prensa Nieto*
 
    11 Leonor Prensa Nieto*
 
    11 Cornelia Pusch
 
    12 Cornelia Pusch
 
    12 Bernhard Rumpe	(wants a signed copy!)
 
    13 Bernhard Rumpe	(wants a signed copy!)*
 
    13 Norbert Schirmer*
 
    14 Norbert Schirmer*
 
    14 Martin Strecker
 
    15 Martin Strecker*
 
    15 
    16 
    16 Essential colleagues:
 
    17 Essential colleagues:
 
    17 
    18 
    18 Prof. Harald Ganzinger*
 
    19 Prof. Harald Ganzinger*
 
    19 Max-Planck-Institut für Informatik
 
    20 Max-Planck-Institut für Informatik
isabelle