ssprove icon indicating copy to clipboard operation
ssprove copied to clipboard

Refactor semantics

Open TheoWinterhalter opened this issue 4 years ago • 3 comments

We can discuss about it in this draft PR.

TheoWinterhalter avatar Jan 18 '22 06:01 TheoWinterhalter

I've rebased the branch onto current main; can I force push that here or will I cause somebody's local changes to break? @kyoDralliam @TheoWinterhalter

haselwarter avatar Mar 15 '22 07:03 haselwarter

It's okay for me.

TheoWinterhalter avatar Mar 15 '22 08:03 TheoWinterhalter

Ok for me too

kyoDralliam avatar Mar 15 '22 11:03 kyoDralliam