ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-28 22:10:36 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
912 Commits 2 Branches 0 Tags 21 MiB
aebd1598ee
Commit Graph

5 Commits

Author SHA1 Message Date
Ivan
2fb64ef69a F: Add suggestions to substitution table 2024-08-28 15:43:28 +03:00
Ivan
fa6eb49172 M: Add warning if term expressions are not equal 2024-08-28 12:34:29 +03:00
Ivan
134ef566be F: Implement basic substitution checks
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-08-26 17:25:07 +03:00
Ivan
c97e24dc63 R: Simplify sync_text and transfer_term
Some checks are pending
Backend CI / build (3.12) (push) Waiting to run
Details
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-07-30 16:00:09 +03:00
Ivan
5ee85b169d F: Implement UI for synthesis
Some checks are pending
Backend CI / build (3.12) (push) Waiting to run
Details
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-07-29 16:56:24 +03:00