|
Failed to load latest commit information. |
|
.gitignore
|
Added *.pdf, .DS_Store to .gitignore
|
Aug 6, 2014
|
|
|
0-preface.tex
|
Fixed typo.
|
Aug 8, 2014
|
|
|
1-gats.tex
|
Properly formatted inline lists
|
Sep 7, 2014
|
|
|
2-cxl-cats.tex
|
Added section titles to complete document outline
|
Aug 8, 2014
|
|
|
3-mltt.tex
|
Added section titles to complete document outline
|
Aug 8, 2014
|
|
|
README.md
|
Added style notes re itemised/numbered lists
|
Aug 8, 2014
|
|
|
cartmell-bib.bib
|
Added initial outline.
|
Aug 6, 2014
|
|
|
cartmell-macros.tex
|
Finished Section 1.4
|
Sep 7, 2014
|
|
|
cartmell-style.tex
|
Added emacs local variables to subsidiary files
|
Aug 8, 2014
|
|
|
cartmell-thesis.tex
|
Properly formatted inline lists
|
Sep 7, 2014
|
|
|
mathpartir.sty
|
Added mathpartir package (for inference rules; not in standard distri…
|
Aug 8, 2014
|
|
|
signup.md
|
Finished Section 1.4
|
Sep 7, 2014
|