Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
SMGloM
SMGloM
Repository
smglom
source
brunconstant.en.tex
Find file
Blame
History
Permalink
marking up decimal numbers
· f07b0e41
Michael Kohlhase
authored
Jan 26, 2015
f07b0e41