Merge branch 'develop' into av_rn3

metamath · Jan 5, 2025 · e297b73 · e297b73
2 parents 49572f0 + 423d713
commit e297b73
Show file tree

Hide file tree

Showing 4 changed files with 726 additions and 160 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -93,6 +93,8 @@ make a github issue.)
 DONE:
 Date      Old       New         Notes
  4-Jan-25 smorndom  smocdmdom
+ 4-Jan-25 ralimda   ---         obsolete - use ralimdaa instead
+ 3-Jan-25 srgi      srgdilem
  2-Jan-25 frnnn0fsuppg fcdmnn0fsuppg
  2-Jan-25 frnnn0suppg fcdmnn0suppg
  2-Jan-25 frnnn0fsupp fcdmnn0fsupp