Changes between Version 8 and Version 9 of Committee


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Committee

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