Skip to main content
11 events
when toggle format what by license comment
Nov 8, 2016 at 9:34 vote accept Asaf Shachar
S Nov 7, 2016 at 16:37 history bounty ended Asaf Shachar
S Nov 7, 2016 at 16:37 history notice removed Asaf Shachar
Nov 5, 2016 at 16:46 answer added Mizar timeline score: 3
S Nov 1, 2016 at 22:19 history bounty started Asaf Shachar
S Nov 1, 2016 at 22:19 history notice added Asaf Shachar Draw attention
Nov 1, 2016 at 22:19 history edited Asaf Shachar CC BY-SA 3.0
deleted 8 characters in body; edited title
Oct 28, 2016 at 8:20 history edited Asaf Shachar CC BY-SA 3.0
wrong statements deleted
Oct 27, 2016 at 15:50 history edited Asaf Shachar CC BY-SA 3.0
added 243 characters in body
Oct 27, 2016 at 15:33 history edited Asaf Shachar CC BY-SA 3.0
Clarified the exact goal of the question, and made some assumptions more explicit
Oct 27, 2016 at 10:03 history asked Asaf Shachar CC BY-SA 3.0