[jdom-interest] CVS update: jdom-contrib

[jhunter at cvs.jdom.org]

Date:	Tuesday July 11, 2000 @ 21:06
Author:	jhunter

Update of /home/cvspublic/jdom-contrib
In directory www.nmemonix.com:/tmp/cvs-serv26445

Modified Files:
	build.bat 
Log Message:
Modified build.bat to match build.sh, incorporating antlr changes.
(The build still fails for some reason, investigating...)

===================================================================
File: build.bat        	Status: Up-to-date

   Working revision:	1.3	Tue Jul 11 20:06:14 2000
   Repository revision:	1.3	/home/cvspublic/jdom-contrib/build.bat,v

   Existing Tags:
	No Tags Exist