builder.js : remove normalization menu and add normalization/notation checkbox...
builder.js : remove normalization menu and add normalization/notation checkbox to display menu instead
Please register or sign in to comment
Si vous êtes un personnel Inria et que vous souhaitez participer aux tests de notre future plateforme Gitlab basée sur la version ultimate avec gitlab LFS activé merci de contacter Didier Chassignol.
builder.js : remove normalization menu and add normalization/notation checkbox to display menu instead