Версия TexLive, используемая TexStudio

Я установил texlive 2013 через Интернет.

Я следовал приведенной документации, чтобы установить переменные PATH после установки. Мне нужен был текстовый редактор. Поэтому я решил установить TexStudio через менеджер пакетов synapic. Когда он загружал требуемые пакеты, я заметил, что он также устанавливал связанные с texlive 2012 пакеты с панели запуска: ppa: backports.

Теперь мой вопрос заключается в том, что когда я использую пакет в texstudio при записи файла, использую ли я пакет texlive 2012 или texlive 2013? (PS tex - версия в терминале показывает Texlive 2013.)