Merge branch 'develop' of ssh://github.com/pharpend/lysa into develop
Merge branch 'develop' of github.com:learnmath/lysa into develop
Merge branch 'develop' into f/peano