{"shas":[["108eb74f4e10a2daf71143f606c1c9efdfee3d0d","331be22c6b63ca3e0a03d408c2d906b1b02cd5f2@mehnert.org","remove a lot of debug output","Hannes"],["0b687d48fd0b49579b38e3a46ecd23e5fa217ae0","331be22c6b63ca3e0a03d408c2d906b1b02cd5f2@mehnert.org","highlight background of stuff sent to coq instead of foreground - also syntax highlight again after undo","Hannes"],["3515dc952665acca2ddd5a8973d6f1287a4afd34","331be22c6b63ca3e0a03d408c2d906b1b02cd5f2@mehnert.org","more safety for goalviewer - also setFocus to editor after progress","Hannes"],["008faa9058a96446cb16421ea684349e746d231d","331be22c6b63ca3e0a03d408c2d906b1b02cd5f2@mehnert.org","make ctrl-n work at startup","Hannes"],["3a6a0a564ff8c304ed2688e259309e5437204485","331be22c6b63ca3e0a03d408c2d906b1b02cd5f2@mehnert.org","report warnings from stderr - support for instance and add in outline","Hannes"]],"ref":"refs/heads/master","size":5,"head":"3a6a0a564ff8c304ed2688e259309e5437204485","push_id":35270643}