hhu-stups / camille

(READ ONLY MIRROR) The Camille Editor for Rodin
https://gitlab.cs.uni-duesseldorf.de/general/stups/camille
1 stars 1 forks source link

Add hovers with additional information, such as the declaring machine/context #4

Open wysiib opened 10 years ago