2001-07-20 19:04  raman

	* battleground1.ram, battleground2.ram: bringing revision numbers
	in sync 

2000-11-28 20:45  raman

	* battleground1.ram, battleground2.ram: release 13 with updates 
	updated files from release 13.  

