Type versions#662

Merged

maxitg merged 17 commits intomasterfrom

refactor/multihistorySeparateVersion

Jul 26, 2021

Commits on Jul 23, 2021

Implement boxes for SetReplaceType.
Max Piskunov
committed
Switch types everywhere to use SetReplaceType.
Max Piskunov
committed
Allow versionless shortcuts in SetReplaceTypeConvert.
Max Piskunov
committed
Update docs.
Max Piskunov
committed
Fix a link.
Max Piskunov
committed
Fix a link to Types from Multihistory.
Max Piskunov
committed
Rename the doc page for MultisetSubstitutionSystem multihistory.
Max Piskunov
committed
Always present types wrapped with SetReplaceType to users.
Max Piskunov
committed
Fix tests.
Max Piskunov
committed
Add tests for type versions.
Max Piskunov
committed
Fix formatting of SetReplaceType format in the docs.
Max Piskunov
committed
Fix a link to AtomicStateSystem.
Max Piskunov
committed
Clean up code in initializeTypeAndPropertyLists.
Max Piskunov
committed
Fix previously missed conflict.
Max Piskunov
committed

Commits on Jul 24, 2021

New boxes for SetReplaceType.
Max Piskunov
committed
Fix versionless TraditionalForm.
Max Piskunov
committed

Commits on Jul 26, 2021

Change 1 -> 0 in Types README.
Max Piskunov
committed