Vincent Iampietro

https://iampietrov.fr/

Results 3 comments of


                                            Vincent Iampietro

Compile Before Require not working anymore

I forgot to mention that I am using Coq version 8.12

Display a delete button in front of each inspector's property. Properties are deleted on click.

Checklist: - [x] Ask Rama if there is a way to delete an odot message in an odot bundle.

Create a form in the symbol inspector to add new properties

Detected issues: - [ ] Newly created properties are not persistent with symbol copy and symbol grouping/ungrouping.