User contributions
From Termination-Portal.org
Jump to navigationJump to search- 07:32, 1 July 2015 diff hist +69 Termination Competition 2015 indicate where to send new examples
- 13:41, 24 June 2015 diff hist +757 Termination Competition 2015 Changes in CPF and in complexity
- 07:50, 6 June 2015 diff hist 0 m Termination Competition 2015
- 07:40, 6 June 2015 diff hist +9 Termination Competition 2015 changed submission of tool deadline
- 07:35, 31 July 2014 diff hist +57 m TPDB →Syntax and semantics specification
- 07:34, 31 July 2014 diff hist +128 TPDB fixed links which now point into repository for TPDB
- 07:28, 31 July 2014 diff hist +70 TPDB changed link from termcomp into TPDB-repository
- 07:14, 31 July 2014 diff hist +33 m XTC Format Specification →Schema current
- 07:13, 31 July 2014 diff hist +61 m XTC Format Specification →Schema
- 07:13, 31 July 2014 diff hist +272 XTC Format Specification corrected link to XSL-transformations
- 07:03, 31 July 2014 diff hist +2 m XTC Format Specification →Schema
- 07:03, 31 July 2014 diff hist +245 XTC Format Specification Correct link to schema
- 08:25, 24 July 2014 diff hist +199 Termination Competition →History of Termination Competitions
- 09:34, 4 July 2014 diff hist +73 TPDB Added link to new to TPDB location
- 11:30, 12 June 2014 diff hist +2 TPDB fixed links to more recent versions of converter
- 17:14, 7 May 2014 diff hist +250 Tools:CeTA add links to feature list of CeTA
- 13:38, 24 February 2014 diff hist -10 m TPDB →Data
- 11:54, 3 July 2013 diff hist +154 N News:Termination Competition 2013: June 24 - June 26 Created page with "{{News |text=The Termination Competition 2013 took place "live" during the [http://rta2013.few.vu.nl RTA conference]. |date=June 24 - June 26, 2013 }}" current
- 11:48, 3 July 2013 diff hist +194 Termination Competition
- 11:46, 3 July 2013 diff hist +13 TPDB