Missing-parents
Placeholder for documentation topics that lack :parents.
If a defxdoc form ends up having no parents, it ends up
being put here. See also undocumented.
Historic note. We used to put these topics directly underneath top
instead. But we found that during development, this sometimes led to a
strange-looking hierarchy where ``random'' topics were presented as top-level
topics just because they were new or being moved around or because set-default-parents forms weren't quite in the right places. To avoid this,
we now move these topics to missing-parents and print notes about them
when a manual is saved with save.
Subtopics
- Prettygoals
- Experimental tool for displaying proof goals in a prettier way.
- Lists-noforkp
- Check that two lists do not fork in front.
- Properties-certificate-retrieval
- Some properties of the certificate retrieval operations,
when applied to unequivocal sets of certificates.
- Svexlist->a4vecs-for-varlist-with-subexprs
- Creates a symbolic bit-level representation for x, assuming that vars
are the only vars relevant to x and that the bits of vars given in boolmasks
are Boolean-valued.
- Missing-parents-test
- A topic with no :parents.
