ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-26 04:50:36 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
00a1deda32
ConceptPortal-public/rsconcept
History
Ivan 00a1deda32 M: Improve coloring of constituents and statuses
2024-09-23 11:48:13 +03:00
..
backend F: Update pyconcept and implement improved typechecking 2024-09-22 20:25:36 +03:00
frontend M: Improve coloring of constituents and statuses 2024-09-23 11:48:13 +03:00