Leta 1901, ko je bila v Idriji ustanovljena realka, je že takoj na začetku v njenem sklopu delovala bogata realčna knjižnica, ki se je delila na profesorsko in dijaško. Profesorska knjižnica je imela že v šolskem letu 1901/2 kar 127 del v 354 zvezkih. Bila je izrazito...
