Christian Doczkal

macro to expand "by rewrite A B C ... ."

21

A commonly used idiom in the mathematical components library (and many libraries building on top of mathcomp) is to use somthing like `by rewrite A !B /= C D //...

feature request: more robust output format for dpdusage

1

Currently, `dpdusage` prints unused lemmas in an unspecified order that can change unpredictably when including another module in the analysis. In my current use-case (moving a theorem and everything only...

[buildingplan] certain buildings are invisible until an item is assigned

3

Certain buildings (e.g., bookcases and pedestals) are invisible until an item is attached. [Discussion on Discord](https://discord.com/channels/793331351645323264/807444467140788254/1210688823583838268) (with screenshots)

It would be nice if there was a tool that kept a certain workshop (e.g. a crafts workshop) automatically assigned to whichever dwarf is currently most in need of crafting...

[buildingplan] add hotkey to planner UI to cycle through previously used filters

2

When repeatedly altering between several filters (e.g. when using different stone types for different parts of the fort or different furniture materials for nobles/commoners), it would be nice if the...

[buildingplan] add the option to create work orders for missing building materials / furniture

2

As the title implies, it would be nice if `buildingplanner` would not just notify the player of missing building materials / furniture, but also included the option of queuing work...

This is obviously not yet ready to be merged. However, I would like to know what you think of the idea, and what would you needed to merge this. Feel...

non-forgetful attribute for pttdom_elabel

1

Current master branch of HB turns this instance into an error without the attribute.

In order to obtain decently looking documentation, we should consistent in our use of comments and documentation: - documentation comments (** *) for everything that qualifies as explanation (rendered in...