Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix the markup of the grammar rules

Browse Source
This commit is contained in:
Jip J. Dekker 2021-05-13 19:21:43 +10:00
parent d466f7fbdf
commit 3c404e7f96
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
assets/packages.tex
View File

@ -94,6 +94,7 @@ style=apa,
% Proof Tree
\usepackage[nounderscore]{syntax}
\setlength{\grammarindent}{8em}
\usepackage{ebproof}
% Half Reif packages (maybe we should get rid of these)