Some remarks on proper actions, proper metric spaces, and buildings

We discuss various aspects of isometric group actions on proper metric spaces. As one application, we show that a proper and Weyl transitive action on a euclidean building is strongly transitive on the maximal atlas (the complete apartment system) of the building.