repositories
/
cc1516.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
5fe60b5
c08004a
)
Merge branch 'master' of https://github.com/dopefishh/cc1516
author
pimjager
<pim@pimjager.nl>
Thu, 9 Jun 2016 16:41:09 +0000
(18:41 +0200)
committer
pimjager
<pim@pimjager.nl>
Thu, 9 Jun 2016 16:41:09 +0000
(18:41 +0200)
1
2
deliverables/report/report.tex
patch
|
diff1
|
diff2
|
blob
|
history
diff --cc
deliverables/report/report.tex
index
efd98e0
,
ce6f41c
..
248bcb2
---
1
/
deliverables/report/report.tex
---
2
/
deliverables/report/report.tex
+++ b/
deliverables/report/report.tex
@@@
-18,11
-17,9
+18,12
@@@
}
\newcommand{\SPLC}{\texttt{SPLC}}
-\newcommand{\SPL}{\texttt{SPLC}}
-\newcommand{\SSM}{\texttt{SPLC}}
+\newcommand{\SPL}{\texttt{SPL}}
+\newcommand{\SSM}{\texttt{SSM}}
+ \newcommand{\Yard}{\textsc{Yard}}
+\def\AST/{\texttt{AST}}
+
+\let\tt\texttt
\begin{document}
\maketitle