Как переименовать файлы библиотеки
Файлы библиотеки имеют расширение *.LIB, используя Windows Explorer или другой файловый менеджер, вы можете переименовать эти файлы как и любые другие, это может понадобиться при их пересылке. Например, имя TUBES.LIB (Лампы.LIB) более информативно, нежели LIB12.LIB, не забудьте только про сохранение расширения .LIB при переименовании.