Fix bug #737 Symbol buttons enhancement
Allow selecting Rodin elements in Editor
Show the selection in the Editor
Element selection in Editor
Refactor tactic applications
Without a way to reproduce this bug, we cannot fix it.
Error while running tool (Automatic Proof Obligation Manager)
This is indeed a bug, but without additional input, we have no way to reproduce it,...