Full rebase of Marco's changes
Compare changes
Files
4- Marco Ammon authored
Syntax highlighting with ```lstlistings``` is semi-broken as highlighting keywords does not work correctly. This patch introduces ```minted``` instead, which uses the python script ```pygmentize```.
+ 26
− 14
@@ -186,20 +186,32 @@ Based on the periodically transmitted \texttt{hello} messages, the joining node