{"head":"203aef1029c126814ae33768a581d49347ba0566","size":2,"push_id":44260513,"shas":[["4ef688f1c74a8550f79c76ed5be38e4ef466775e","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@ummels.de","Added proof rule at math axis","Michael Ummels"],["203aef1029c126814ae33768a581d49347ba0566","17b9e1c64588c7fa6419b4d29dc1f4426279ba01@ummels.de","Corrected distance between lines in less slanted equal greater, fixes #7.","Michael Ummels"]],"ref":"refs/heads/master"}