doc-src/TutorialI/free-copies
changeset 13210 254b3967ac12
parent 13127 1865e8004fd8
child 13238 a6cb18a25cbb
equal deleted inserted replaced
13209:e62a6bd3f085 13210:254b3967ac12
    58 Sidi Ehmety
    58 Sidi Ehmety
    59 Frederic Blanqui*
    59 Frederic Blanqui*
    60 James Margetson
    60 James Margetson
    61 Robin Milner*
    61 Robin Milner*
    62 
    62 
       
    63 Sara Kalvala
       
    64 
    63 
    65 
    64 (for contributing comments)
    66 (for contributing comments)
    65 
    67 
    66 dr. Stefano Bistarelli*
    68 dr. Stefano Bistarelli*
    67 Istituto per le Applicazioni Telematiche
    69 Istituto per le Applicazioni Telematiche