{"push_id":874651491,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"80f46b96f3578a2525254cbc1c41f4903377eb8d","before":"c6024c2c718f6ccb83db888222453fd5d75a7509","commits":[{"sha":"490f56760b3ec7ea6779697cd6e8ea47fd9e0730","author":{"email":"fc68cb195c5969ec01b15e5c332ef9102553b29a@gmail.com","name":"Marnix Klooster"},"message":"Show mandatory hypotheses in $a/$p hover tooltip\n\nSupporting changes:\n - Move helper code into new MMHelpers class.\n - Introduce HypothesisStatement interface in .xtext grammar file.","distinct":true,"url":"https://api.github.com/repos/marnix/metamath-eclipse-xtext/commits/490f56760b3ec7ea6779697cd6e8ea47fd9e0730"},{"sha":"80f46b96f3578a2525254cbc1c41f4903377eb8d","author":{"email":"fc68cb195c5969ec01b15e5c332ef9102553b29a@gmail.com","name":"Marnix Klooster"},"message":"README: Trivial correction to hover tooltip idea.","distinct":true,"url":"https://api.github.com/repos/marnix/metamath-eclipse-xtext/commits/80f46b96f3578a2525254cbc1c41f4903377eb8d"}]}