phc-thesis

Bits and pieces of my Ph.D memoir.

Name		Name	Last commit message	Last commit date
Latest commit History 257 Commits
.github/workflows		.github/workflows
from-dissertation-tobin-hochstadt		from-dissertation-tobin-hochstadt
pdflatex-wrapper		pdflatex-wrapper
scribblings		scribblings
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE-more.md		LICENSE-more.md
LICENSE.txt		LICENSE.txt
Makefile		Makefile
MathJax-bfit.patch		MathJax-bfit.patch
README.md		README.md
auto-push-gh-pages.sh		auto-push-gh-pages.sh
auto-push-master.sh		auto-push-master.sh
fixlinks.sh		fixlinks.sh
info.rkt		info.rkt
main.rkt		main.rkt
package-lock.json		package-lock.json
passes of the example compiler for Nanopass.odt		passes of the example compiler for Nanopass.odt
qaligned.patch		qaligned.patch
run-mathjax-offline.node.js		run-mathjax-offline.node.js
tikztag.sty		tikztag.sty
travis-deploy-key-id_rsa.enc		travis-deploy-key-id_rsa.enc

Provide feedback