[typetools/checker-framework] 881ee5: Improve documentation about defaults

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 881ee5cac520486c025022dae3e7ea2b503cbb01
https://github.com/typetools/checker-framework/commit/881ee5cac520486c025022dae3e7ea2b503cbb01
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-12-19 (Fri, 19 Dec 2025)

Changed paths:
M docs/manual/advanced-features.tex
M docs/manual/annotating-libraries.tex
M docs/manual/creating-a-checker.tex
M docs/manual/introduction.tex
M framework/tests/all-systems/README

Log Message:
-----------
Improve documentation about defaults

Co-authored-by: Suzanne Millstein <smi...@cs.washington.edu>



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications