nnimap 0.125 released

[Simon Josefsson <jas@pdc.kth.se>]

Bulletin-board fixes and the new NOV cache.

Please tell me if the NOV cache work or not. You should start to see
files under ~/News/overview/ that should look like nnml .overview
files, and repeated entries to a group should be fast. Setting
`gnus-fetch-old-headers' to t should be quite usable.

To compare performance, you can disable the cache by setting
`nnimap-nov-is-evil' to t.

Get it from http://www.extundo.com/nnimap/nnimap.tar.gz.

1999-07-18  Simon Josefsson  <jas@pdc.kth.se>

	* nnimap 0.125 released.

	* nnimap.el (nnimap-news-groups): New variable.
	(nnimap-request-type): Use it.
	(nnimap-directory): Change default. Doc fix.
	(nnimap-nov-file-name): Ditto.
	(nnimap-nov-is-evil): Doc fix.
	(nnimap-progress-chars): New variable.
	(nnimap-progress-how-often): Ditto.
	(nnimap-retrieve-headers-progress): No percentile progress.
	(nnimap-retrieve-headers-store-uids): Removed.
	(nnimap-retrieve-headers-get-uids): Renamed to
	`nnimap-retrieve-which-headers'. Don't search for uids. Handle
	numeric fetch-old.
	(nnimap-group-overview-filename): Empty servers are called
	"unnamed".
	(nnimap-retrieve-headers-from-file): Return low/high article number.
	(nnimap-retrieve-headers-from-server): New function.
	(nnimap-retrieve-headers): Cache nov lines.

1999-07-18  Kai Großjohann  <Kai.Grossjohann@CS.Uni-Dortmund.DE>

	* nnimap.el: Post-mail backend.

1999-07-18  Simon Josefsson  <jas@pdc.kth.se>

	* nnimap.el (nnimap-request-post): Create group if
	necessery. Handle errors.