Mentions légales du service
Skip to content
GitLab
Explore
Sign in
mgkit
syntax_hightlighting_smg
Issues
#9
Tree operations
Highlight tree operations (substitution and adjunction) in dark blue.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information