@ -387,7 +387,7 @@ access DF memory and allow for easier development of new tools.</p>
< li > < a class = "reference internal" href = "#nopause" id = "id51" > nopause< / a > < / li >
< li > < a class = "reference internal" href = "#nopause" id = "id51" > nopause< / a > < / li >
< li > < a class = "reference internal" href = "#die" id = "id52" > die< / a > < / li >
< li > < a class = "reference internal" href = "#die" id = "id52" > die< / a > < / li >
< li > < a class = "reference internal" href = "#probe" id = "id53" > probe< / a > < / li >
< li > < a class = "reference internal" href = "#probe" id = "id53" > probe< / a > < / li >
< li > < a class = "reference internal" href = "#prospect or " id = "id54" > prospector < / a > < ul >
< li > < a class = "reference internal" href = "#prospect " id = "id54" > prospect< / a > < ul >
< li > < a class = "reference internal" href = "#id8" id = "id55" > Options< / a > < / li >
< li > < a class = "reference internal" href = "#id8" id = "id55" > Options< / a > < / li >
< / ul >
< / ul >
< / li >
< / li >
@ -798,8 +798,8 @@ This is nice for digging under rivers.</p>
< h2 > < a class = "toc-backref" href = "#id53" > probe< / a > < / h2 >
< h2 > < a class = "toc-backref" href = "#id53" > probe< / a > < / h2 >
< p > Can be used to determine tile properties like temperature.< / p >
< p > Can be used to determine tile properties like temperature.< / p >
< / div >
< / div >
< div class = "section" id = "prospect or ">
< div class = "section" id = "prospect ">
< h2 > < a class = "toc-backref" href = "#id54" > prospector < / a > < / h2 >
< h2 > < a class = "toc-backref" href = "#id54" > prospect< / a > < / h2 >
< p > Lists all available minerals on the map, how much of them there is and the z-levels where they can be found. By default, only processes the already discovered part of the map.< / p >
< p > Lists all available minerals on the map, how much of them there is and the z-levels where they can be found. By default, only processes the already discovered part of the map.< / p >
< div class = "section" id = "id8" >
< div class = "section" id = "id8" >
< h3 > < a class = "toc-backref" href = "#id55" > Options< / a > < / h3 >
< h3 > < a class = "toc-backref" href = "#id55" > Options< / a > < / h3 >