@@ -99,6 +99,10 @@ should not necessarily be seen as production ready nor for industrial use.
99 e.g. corei7 or cortex-m3.
99 e.g. corei7 or cortex-m3.
100 --color,--colour Force coloured output
100 --color,--colour Force coloured output
101 --nocolor,--nocolour Disable coloured output
101 --nocolor,--nocolour Disable coloured output
102+ --optimise-nat-like-types,--optimize-nat-like-types
103+ Compile Nat-like types to big ints
104+ --no-optimise-nat-like-types,--no-optimize-nat-like-types
105+ Do not compile Nat-like types to big ints
102 --consolewidth WIDTH Select console width: auto, infinite, nat
106 --consolewidth WIDTH Select console width: auto, infinite, nat
103 --highlight Emit source code highlighting
107 --highlight Emit source code highlighting
104 --no-tactic-deprecation-warnings
108 --no-tactic-deprecation-warnings