Extend HowToTaclet with information on the new tagging mechanism#27

Merged

wadoon merged 4 commits intoKeYProject:masterfrom FliegendeWurst:misc2

Oct 31, 2024

+82-3

Commits on Jan 15, 2024

Extend HowToTaclet with a quick example
FliegendeWurst
committed

Commits on Jan 16, 2024

Document linearized proof tree
FliegendeWurst
committed

Commits on Jan 18, 2024

Docs for proof caching disable + new action
FliegendeWurst
committed

Commits on Jan 29, 2024

Document effect of tagging a branch 'main'
FliegendeWurst
committed