Added texlog plugin