User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:43, 4 June 2009 diff hist +123 WST09 current
- 15:29, 1 April 2009 diff hist +360 Termination Competition Platform current
- 12:58, 1 April 2009 diff hist -7 Termination Competition 2008
- 08:00, 26 February 2009 diff hist +119 Talk:XTC Format Specification →Syntax
- 13:08, 13 February 2009 diff hist +1,379 XTC Format Specification
- 12:16, 13 February 2009 diff hist +163 XTC Format Specification
- 12:10, 13 February 2009 diff hist +43 N XTC Format Specification New page: For now see http://dev.aspsimon.org/xtc.xsd
- 09:53, 19 May 2008 diff hist +159 m WST09
- 09:52, 19 May 2008 diff hist +35 WST09
- 09:12, 19 May 2008 diff hist +105 WScT08 →Local Organization
- 09:09, 19 May 2008 diff hist +1,099 N TPDB XML Format New page: == A proposal for an XML grammar for termination problems == Still needs to be formalised and completed. <pre><code> <tp version="1.0"> <meta> <author/> <date/> <originalcomment/>... current
- 12:06, 17 May 2008 diff hist +6 m WScT08 →Material
- 12:05, 17 May 2008 diff hist +113 WScT08 →Material
- 08:26, 17 May 2008 diff hist +163 WScT08
- 08:23, 17 May 2008 diff hist 0 WScT08
- 08:23, 17 May 2008 diff hist +34 WScT08
- 08:23, 17 May 2008 diff hist +71 WScT08
- 11:13, 14 May 2008 diff hist +154 WScT08 →Registration
