"In Indonesian, ancient temples are referred to as
candi; thus locals refer to "Borobudur Temple" as
Candi Borobudur. The term
candi also loosely describes ancient structures, for example gates and baths. The origins of the name
Borobudur however are unclear,
although the original names of most ancient Indonesian temples are no longer known.
The name Borobudur was first written in Sir Thomas Raffles' book on Javan history. Raffles wrote about a monument called
borobudur, but there are no older documents suggesting the same name. The only old Javanese manuscript that hints at the monument as a holy Buddhist sanctuary is Nagarakretagama, written by Mpu Prapanca in 1365."
Taken from
http://en.wikipedia.org/wiki/Borobudur