new bibiten and titlecase on all sections
Description
Description
Details
Details
- Provenance
Anders Schlichtkrull <andsch@cs.aau.dk> Authored on - Parents
- rAFPbb681dd9e2f3: avoid clones of Isabelle/ML operations --- de-emphasize somewhat old/outdatedā¦
- Branches
- Unknown
- Tags