Documentation for Prosa Branches

Available branches:

See also the list of branches on Gitlab.

Main Branches

master

classic-prosa

Work-in-Progress Branches

embed_arr_seq_uniq

fset

port-to-mathcomp-2

prepare_MC_PR

tutorial

wip-hunspell

This list and the corresponding documentation is updated approximately every five minutes. If a branch is persistently missing from this list, then the GitLab CI job doc failed to produce HTML output (or the branch does not have CI configured appropriately).