| ... | ... | @@ -4,7 +4,7 @@ |
|
|
|
## Editors
|
|
|
|
|
|
|
|
|
|
|
|
- Isaac Jones (co-editor) \<ijones at galois.com
|
|
|
|
- Isaac Jones (co-editor)
|
|
|
|
- John Launchbury (co-editor) \<john at galois.com\>
|
|
|
|
|
|
|
|
## Committee
|
| ... | ... | @@ -33,3 +33,7 @@ |
|
|
|
Questions about the wiki or mailing lists should be directed to Isaac Jones.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The email addresses are slightly modified in order to cut down on spam. If you don't care, you can modify your own name / address with a mailto: header. If you don't want your address to appear at all, go ahead and delete it. See Isaac's name for an example or [WikiFormatting](wiki-formatting) for more information on links.
|
|
|
|
|
|
|
|
|
