/*
* xgamelist.h -- Game list window, part of X front end for XBoard
*
- * Copyright 1995,2009 Free Software Foundation, Inc.
+ * Copyright 1995, 2009, 2010 Free Software Foundation, Inc.
* ------------------------------------------------------------------------
*
* GNU XBoard is free software: you can redistribute it and/or modify
String *prms, Cardinal *nprms));
void HistoryPopDown P((Widget w, XtPointer client_data,
XtPointer call_data));
+Boolean MoveHistoryIsUp P((void));
+extern Widget historyShell;
#endif /* _XHISTL_H */