Relational Override is not parsed correctly

hhu-stups / camille

(READ ONLY MIRROR) The Camille Editor for Rodin

1 stars 1 forks source link

Open wysiib opened 9 years ago

wysiib commented 9 years ago

Just type a relational override operator, Camille generates an existential quantifier instead?

wysiib commented 8 years ago

Caused by using the wrong font. We should set the Rodin Font as the Default.