repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add license
[phd-thesis.git]
/
.chktexrc
diff --git
a/.chktexrc
b/.chktexrc
index
e69de29
..
a7c8d73
100644
(file)
--- a/
.chktexrc
+++ b/
.chktexrc
@@
-0,0
+1,19
@@
+CmdLine {
+ -v
+}
+VerbEnvir {
+ lstinline lstlisting algorithm code spec lstClean lstHaskell
+}
+WipeArg {
+ \cleaninline:{}
+ \haskellinline:{}
+ \texttt:{}
+ \url:{}
+ \only:{}
+}
+Silent {
+ \pause
+}
+MathEnvir {
+ code
+}