Termination Competition 2012 Comments: Revision history

29 June 2012

• curprev 04:0704:07, 29 June 2012 Thiemann talk contribs 4,574 bytes −43 updated numbers after end of competition

28 June 2012

• curprev 12:1612:16, 28 June 2012 Fuhs talk contribs m 4,617 bytes −4 verb tense
• curprev 12:1412:14, 28 June 2012 Fuhs talk contribs 4,621 bytes +190 Huge proofs generated already in 2010
• curprev 11:3211:32, 28 June 2012 Thiemann talk contribs m 4,431 bytes +3 No edit summary
• curprev 09:2809:28, 28 June 2012 Mmjb talk contribs 4,428 bytes +371 No edit summary
• curprev 09:0709:07, 28 June 2012 Mmjb talk contribs 4,057 bytes −95 No edit summary
• curprev 08:5908:59, 28 June 2012 Mmjb talk contribs 4,152 bytes +95 No edit summary
• curprev 08:4908:49, 28 June 2012 Thiemann talk contribs 4,057 bytes +35 No edit summary
• curprev 08:4508:45, 28 June 2012 Thiemann talk contribs 4,022 bytes +306 No edit summary
• curprev 08:3908:39, 28 June 2012 Thiemann talk contribs 3,716 bytes +122 No edit summary
• curprev 08:2908:29, 28 June 2012 Thiemann talk contribs 3,594 bytes +215 No edit summary
• curprev 08:2008:20, 28 June 2012 Thiemann talk contribs 3,379 bytes +297 No edit summary
• curprev 08:1508:15, 28 June 2012 Thiemann talk contribs 3,082 bytes +373 No edit summary
• curprev 08:0608:06, 28 June 2012 Thiemann talk contribs m 2,709 bytes +6 No edit summary
• curprev 08:0508:05, 28 June 2012 Thiemann talk contribs 2,703 bytes +2,027 No edit summary

26 June 2012

• curprev 18:1918:19, 26 June 2012 J.waldmann talk contribs 676 bytes +676 Created page with "Participants and observers may put their comments here. These could be used when a report on the competition is prepared. = SRS Certified = machbox-cert gets a "failed va..."