fix editor

--- a/doc-src/manual.bib	Mon Sep 06 11:53:42 2010 +0200
+++ b/doc-src/manual.bib	Mon Sep 06 13:48:10 2010 +0200
@@ -1372,7 +1372,7 @@
 @inproceedings{sutcliffe-2000,
   author = "Geoff Sutcliffe",
   title = "System Description: {SystemOnTPTP}",
-  editor = "J. G. Carbonell and J. Siekmann",
+  editor = "David McAllester",
   booktitle	= {Automated Deduction --- {CADE}-17 International Conference},
   series = "Lecture Notes in Artificial Intelligence",
   volume = {1831},