Welcome page / Brave Sans Mono

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#80 Welcome page / Brave Sans Mono

Milestone: V0.8.x

Status: closed

Owner: Laurent Voisin

Labels: Rodin platform (32)

Priority: 5

Updated: 2008-03-25

Created: 2008-03-19

Creator: wohuai

Private: No

Please remove the instruction to install "Brave Sans Mono" from the Welcome Page.

Discussion

Laurent Voisin - 2008-03-25

Logged In: YES
user_id=1041912
Originator: NO

I've checked on the free referenced platform that predicates are displayed appropriately, even if the font is not installed on the platform.

Then, I've updated the Welcome page and committed the new version to CVS.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Laurent Voisin - 2008-03-25

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.