Update main.tex~

Remove professor and login/logout use cases