Skály Jeleního skoku byly na počátku 19. století přejmenovány na počest cara Petra Velikého na Petrovu výšinu. Zároveň nově upravenou vyhlídku, plošinu na nejvyšším místě skal, lépe zpřístupnilo pohodlné schodiště.