2 commits

Author	SHA1	Message	Date
Krystine Sherwin	dc5a5b7bd1	docs/rosette: Regen rosette.diff ... This time from the actual source, which apparently means changing all of the spaces for tabs.	2025-02-07 14:13:34 +13:00
Krystine Sherwin	1b6b6a77ba	docs/rosette: Add details for Scope ... Add a diff file and use it for showing changes from smtlib to rosette. Also add relevant sections of diff to Sort and Struct sections.	2025-01-25 09:51:20 +13:00