KWARC/openmathmap — pull request #1 by sayenju (2014-03-20 12:39:44+00:00)
Title: Update GenerateOSM.java

changing the factor in order to see how it affects the spacing of the classes/hierarchies.
I want to try different numbers and eventually find out how an appropriate number should be taken from the data.