[jdom-commits] CVS update: jdom/src/java/org/jdom

[jhunter at cvs.jdom.org]

Date:	Wednesday April 18, 2001 @ 8:35
Author:	jhunter

Update of /home/cvspublic/jdom/src/java/org/jdom
In directory www.nmemonix.com:/tmp/cvs-serv9575

Modified Files:
	DocType.java 
Log Message:
Changed DocType.equals() to check for equivalency and not reference 
equality.  Now two DocTypes are equals() if their constituent strings 
are equals().  This makes general sense because if you want to compare
the doctypes of two docs you want to do an equivalency check.  This 
change was discussed in email after the SD West conference BOF.

-jh-

===================================================================
File: no file DocType.java		Status: Needs Checkout

   Working revision:	1.11	Wed Apr 18 07:35:06 2001
   Repository revision:	1.11	/home/cvspublic/jdom/src/java/org/jdom/DocType.java,v

   Existing Tags:
	start                    	(revision: 1.1.1.1)
	jdom                     	(branch: 1.1.1)