Christian Doczkal

Missing blank lines with folded proofs

12

Now that #4 has been merged, the behaviour of the proof folding to "swallow" the (usually) blank line after the "Qed." (which was fine with the old invisible "Proof.") becomes...

Notation issues for `imfset`

3

The following script showcases some unfortunate notation behaviors (on the current coq.dev and finmap.dev) ```coq From mathcomp Require Import all_ssreflect finmap. Open Scope fset_scope. Lemma fsetIsep (T : choiceType) (A...

Those checks were recently reverse-engineered, and would be useful when directly assigning jobs to dwarves (e.g. when bypassing job bidding to make specific dwarfs carry out jobs that satisfy their...

Jobs and references

2

This adds a factory for general references and uses it in the `Job` module. Similar `addGeneralRef` wrappers can probably be added to the `Unit` and `Buildings` modules.

 When toggling `TOGGLE_SHADE_HIDDEN_TILES` (`b` key), stonesense still renders some information on the hidden tiles. In the screenshot, this even includes a forgotten beast that is not listed in the...

The goal of this plugin is to export the world map at the region-tile (i.e., embark tile or midmap-tile) level for use with GIS programs like ArcGIS or QGIS. For...