repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
many updates
[phd-thesis.git]
/
lstlangclean.sty
diff --git
a/lstlangclean.sty
b/lstlangclean.sty
index
8067354
..
c11f68e
100644
(file)
--- a/
lstlangclean.sty
+++ b/
lstlangclean.sty
@@
-11,8
+11,9
@@
morestring=[s]{['}{']},
literate=%
{\_}{{\raisebox{.15ex}{\_}}}1
morestring=[s]{['}{']},
literate=%
{\_}{{\raisebox{.15ex}{\_}}}1
- {~}{{\raisebox{-.6ex}{\textasciitilde}}}1
- {...}{{$\cdots$}}1
+% {\~}{{\raisebox{-.6ex}{\textasciitilde}}}1
+ {~}{{\textasciitilde}}1
+ {...}{{$\cdots$}}3
{->}{{$\shortrightarrow$}}2
{=>}{{$\Rightarrow$}}2
}
{->}{{$\shortrightarrow$}}2
{=>}{{$\Rightarrow$}}2
}