--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/fetchlist.h	Tue Jan 04 11:35:42 2000 +0000
@@ -0,0 +1,42 @@
+/*
+  fetchlist.h
+
+  List of groups that are to be fetched presently.
+
+  $Id: fetchlist.h 3 2000-01-04 11:35:42Z enz $
+*/
+
+#ifndef FETCHLIST_H
+#define FETCHLIST_H
+
+#include "common.h"
+
+typedef enum { FULL, THREAD, OVER } FetchMode;
+
+void
+Fetchlist_read( void );
+
+/* Invalidates any indices (list is sorted by name before saving) */
+Bool
+Fetchlist_write( void );
+
+int
+Fetchlist_size( void );
+
+Bool
+Fetchlist_contains( const char *name );
+
+/* Get element number index. */
+Bool
+Fetchlist_element( const char **name, FetchMode *mode, int index );
+
+/* Add entry. Invalidates any indices. Returns TRUE if new entry, FALSE if
+   entry was overwritten. */
+Bool
+Fetchlist_add( const char *name, FetchMode mode );
+
+/* Remove entry. Invalidates any indices. Returns FALSE if not found. */
+Bool
+Fetchlist_remove( const char *name );
+
+#endif