Mon Dec 11 05:15:38 1995   Evan Bowers   (Dalto at 192.156.184.195)

	* changed SAVE_EXTENSION to __SAVE_EXTENSION__ in _despool.c 

Tue Nov 14 05:13:22 1995   Jon Travis   (Drizzt at 129.93.1.24)

	* Changed _mudinfo so that you can now request other muds than the 
	one you are on. 

