# HG changeset patch # User blanchet # Date 1283773690 -7200 # Node ID 2aca183ef915d1f1ba68b87f24392facdc7f6e92 # Parent b1c2c03fd9d702a3f9640258dde2578d6abe726e fix editor diff -r b1c2c03fd9d7 -r 2aca183ef915 doc-src/manual.bib --- 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},