{"shas":[["95feec658715ed279bbbf7e881e0b7fd34c11bce","6cb605b03f65d9bf4726e581e997cbde3b25e03f@markv.com","change tool bar button style for better MacOS appearance","Herman Fischer"],["9b48e70aa2c164a82262452adeb7bfcd8fb43920","6cb605b03f65d9bf4726e581e997cbde3b25e03f@markv.com","fix residual bug from fixing name of element to allow untrimmed spaces","Herman Fischer"],["3852fa68b08c38575feb2274d33df42887d731a3","6cb605b03f65d9bf4726e581e997cbde3b25e03f@markv.com","allow formula assertion sets to have existence assertion targets","Herman Fischer"],["00ec10dfc55d75d86975c8d5c5648fb8f5fb6573","6cb605b03f65d9bf4726e581e997cbde3b25e03f@markv.com","fix bug in formula parameters when using multi instances for BNM example","Herman Fischer"]],"ref":"refs/heads/herm/lxml","size":4,"head":"00ec10dfc55d75d86975c8d5c5648fb8f5fb6573","push_id":36255272}