Changes between Version 8 and Version 9 of Committee


Ignore:
Timestamp:
Jul 17, 2007 2:33:08 PM (7 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Committee

    v8 v9  
    33== Editors == 
    44 * [mailto:ijones@galois.com Isaac Jones (co-editor)] 
    5  * John Launchbury (co-editor) <john at galois.com> 
     5 * [mailto:john@galois.com John Launchbury (co-editor)] 
    66 
    77== Committee ==