Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
ide
gconfig.mli
Find file
Blame
History
Permalink
colors customizable in config file
· 6da5d44e
MARCHE Claude
authored
Sep 15, 2011
defaults are "yellow" and "gold" and if you don't like them change them
6da5d44e