def short_timestamp(time):
    """
    Generate a (short) human-readable timestamp
    (e.g. `"Jun 05, 2013; 02:58 PM"`)

    **Parameters:**

    * `time`: an instance of `datetime.datetime`

    **Returns:** a string containing a human-readable representation of the
    given time
    """
    return time.strftime('%b %d, %Y; %I:%M %p')
