The name Cueva de San Miguel (the current English name is a direct translation of the Spanish toponym) is recorded by the Gibraltar's first historian, Alonso Hernández del Portillo, in his Historia de la Muy Noble y Más Leal Ciudad de Gibraltar (English: History of the Very Noble and Most Loyal City of Gibraltar).
Der Name Cueva de San Miguel (der derzeitige englische Name ist eine direkte Übersetzung des spanischen) wurde von Gibraltar's erstem Historiker, Alonso Hernández del Portillo, in seinem Werk Historia de la Muy Noble y Más Leal Ciudad de Gibraltar dokumentiert.