{"shas":[["9c2c1c638abb889c79f78392d974445cadde29c7","97c09fc37efee3f2252496dbb0e7096113cb7f80@gmail.com","Doc: mmatch for math mode added","Ruben Bär"],["608275aca6bda4612b0d017f0362cd9b43d54bbe","97c09fc37efee3f2252496dbb0e7096113cb7f80@gmail.com","Doc: Extracted type rules in separate file","Ruben Bär"],["562b169b8fdb762aefc67c7cb8af1b237e1c33f7","97c09fc37efee3f2252496dbb0e7096113cb7f80@gmail.com","Doc: Floating adjusted","Ruben Bär"],["da2545eb06e3326a0bf529ed57466c6da8e6d842","97c09fc37efee3f2252496dbb0e7096113cb7f80@gmail.com","Doc: Font changed in math symbols","Ruben Bär"]],"ref":"refs/heads/rb/master","size":4,"head":"da2545eb06e3326a0bf529ed57466c6da8e6d842","push_id":32592565}