6 Commits

Author	SHA1	Message	Date
Aina Niemetz	dab8236589	docs: python: Add missing docs text for pages. (#11057)	2024-08-05 18:47:34 +00:00
Aina Niemetz	1b9eab5c0e	docs: Restructure and extend proofs docs. (#11045)	2024-07-16 23:07:30 +00:00
Aina Niemetz	cb103e26c3	docs: python base: Add docs for TermManager and SortKind. (#11056)	2024-07-16 22:39:37 +00:00
Aina Niemetz	f0ec5475cb	docs: cpp api: Add basic docs for plugin. (#11043)	2024-07-16 21:43:47 +00:00
Aina Niemetz	5788258717	docs: Add docs for C API. (#11044)	2024-07-16 18:50:32 +00:00
Aina Niemetz	e46eacda1f	docs: cpp: Restructure directory, tweak class hierarchy. (#11040)	2024-07-12 18:05:13 +00:00