User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:34, 17 June 2013 diff hist 0 Termination Competition 2013 current
- 08:04, 10 July 2012 diff hist +36 TPDB
- 14:34, 9 July 2012 diff hist -31 Termination Competition
- 04:07, 29 June 2012 diff hist -43 Termination Competition 2012 Comments updated numbers after end of competition current
- 11:32, 28 June 2012 diff hist +3 m Termination Competition 2012 Comments
- 08:49, 28 June 2012 diff hist +35 Termination Competition 2012 Comments
- 08:46, 28 June 2012 diff hist +69 News:Termination Competition 2012: June 26 - June 29 current
- 08:45, 28 June 2012 diff hist +306 Termination Competition 2012 Comments
- 08:39, 28 June 2012 diff hist +122 Termination Competition 2012 Comments
- 08:29, 28 June 2012 diff hist +215 Termination Competition 2012 Comments
- 08:20, 28 June 2012 diff hist +297 Termination Competition 2012 Comments
- 08:15, 28 June 2012 diff hist +373 Termination Competition 2012 Comments
- 08:06, 28 June 2012 diff hist +6 m Termination Competition 2012 Comments
- 08:05, 28 June 2012 diff hist +2,027 Termination Competition 2012 Comments
- 14:33, 26 June 2012 diff hist +1 m News:Termination Competition 2012: June 26 - June 29
- 14:30, 26 June 2012 diff hist +167 N News:Termination Competition 2012: June 26 - June 29 Created page with " {{News |text=The Termination Competition 2012 takes place "live" during the [http://ijcar.cs.manchester.ac.uk/ IJCAR conference]. |date=June 26 - June 29, 2012 }}"
- 11:18, 19 June 2012 diff hist +546 Star Exec →Running the Competition
- 11:07, 19 June 2012 diff hist +374 Star Exec →Extra Features
- 15:52, 19 April 2012 diff hist +287 Termination Competition 2012
- 10:41, 26 January 2012 diff hist 0 Termination Competition Steering Committee updated SC