Seems like
http://anonsvn.jboss.org/repos/hibernate/tools/ is outdated now. Browsing there gives me a repository with no tags, no branches, and a
./trunk/version.xml that says
<property name="version" value="3.3.0.GA"/>.
Eclipse tells me I have
3.3.1.v20100611046R-H111-GA installed.
I'd like to retrieve that version from the repository if at all possible. I'm trying to diagnose/work around some odd behaviour in reverse engineering, and mismatches between sources and installed binary would do me no good for that.
UPDATE: I also found
http://anonsvn.jboss.org/repos/jbosstools/trunk/hibernatetools, but the revision of Hibernate Tools that was rolled out to the Eclipse repository never made it into SVN. (I checked org.jboss.tools.hibernate.ui\META-INF: the SVN history goes from 3.3.0 straight to 3.4.0, skipping the 3.3.1 that's in the rolled-out revision.)
I guess the version I'm after is somewhere in that revision history. The problem is that I don't know how best to pinpoint it, other than checking out all revisions around 2010-06-01 and comparing them with what's in the Eclipse plugin jars (which will give an incomplete comparison anyway since I don't have the Java sources in the plugin, which, ironically, are exactly what I'm after).