diff --git a/src/thesis.tex b/src/thesis.tex index 822183e..db7b05d 100644 --- a/src/thesis.tex +++ b/src/thesis.tex @@ -1,6 +1,12 @@ \documentclass[12pt]{report} \usepackage{uwmthesis} -\usepackage[colorlinks=true]{hyperref} +\usepackage[ + pdftex, + pdfusetitle, + pdfsubject={WebAssembly}, + pdfkeywords={WebAssembly, proof mechanization}, + colorlinks=true +]{hyperref} \usepackage{stmaryrd} \usepackage[T1]{fontenc}