Peter, yes, your enhanced information is correct, and to add a bit more information:

Assume a user had at some point installed 0:sjekvub.  Then as soon as 1:jjtofvp was made available in the tool shed, the associated installed repository in their Galaxy instance would be displayed in yellow in the Manage installed tool shed repositories page alerting the user that there are updates available for that installed repository.  Updates to installed tool shed repositories are discovered when the Galaxy server is started or after the defined time delay using the following config settings:

# Enable automatic polling of relative tool sheds to see if any updates
# are available for installed repositories.  Ideally only one Galaxy 
# server process should be able to check for repository updates.  The
# setting for hours_between_check should be an integer between 1 and 24.
enable_tool_shed_check = True
hours_between_check = 12


On May 13, 2013, at 3:07 PM, Peter Cock wrote:


Perhaps this is clearer?:

changset revision       Installable revision
-----------------------------------------------------------------------------
0: sjekvub        not any more, superseded by r1
1: jjtofvp           not any more, superseded by r2
2: htocegy        yes, final revision with this metadata
-----------------------------------------------------------------------------
3: jswofpt          not any more, superseded by r4
4: jaqvkrc          yes, final revision with this metadata

Regards,

Peter