Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
André
What is the way of changing the name to have an é?
I note that a recent new entry has a paper by Joyal and the name André Joyal is greyed out!
Urs, I had tried what you suggested in #3 without it having an effect! Bizarre.
1 to 7 of 7