Yamma 0.0.16 Released:
### Version 0.0.16 (2025-01-01)
#### Added
- **New Command**: "Remove unused statements" – Cleans up unused statements
in a proof, making it easier to finalize. This command can also be used
during proof construction, even if the proof is incomplete.
#### Improved
- **ProofStepDuplicateRemover**: Enhanced handling of duplicate proof
steps, including those with labels.
- Duplicate steps are now removed unless:
1. The step is proven.
2. The preceding step with the same formula is unproven.
#### Fixed
- **.mm and .mmt Parsing**: Replaced residual `throw error` statements with
`DiagnosticError`, preventing crashes and improving error reporting.
- **Caching of Formulas with Working Variables**:
- Excluded formulas containing working variables from the cache to
prevent invalid cache usage.
- This addresses issues caused by the unification algorithm modifying
these formulas during operations.
The recent fix for formula caching addressed a potential issue that could
cause unexpected behavior when switching tabs between two or more proofs.
I encourage yamma users to update to the latest release to benefit from
this fix and other improvements
Glauco
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/2fc3815b-b220-43fa-bc73-544b373ab2a2n%40googlegroups.com.
