repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
more updates, slight restructure
[phd-thesis.git]
/
domain-specific_languages
/
first-class_datatypes.tex
diff --git
a/domain-specific_languages/first-class_datatypes.tex
b/domain-specific_languages/first-class_datatypes.tex
index
6e36cf8
..
7e277fb
100644
(file)
--- a/
domain-specific_languages/first-class_datatypes.tex
+++ b/
domain-specific_languages/first-class_datatypes.tex
@@
-5,8
+5,7
@@
\pagenumbering{arabic}
}{}
\pagenumbering{arabic}
}{}
-\chapter{First-class datatypes}%
-\label{chp:first-class_datatypes}
+\mychapter{chp:first-class_datatypes}{First-class datatypes \ldots}%
TFP22
\input{subfilepostamble}
TFP22
\input{subfilepostamble}