User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:20, 16 December 2010 diff hist +143 Complexity:Techniques
- 13:26, 13 February 2010 diff hist +240 Complexity:Old
- 10:08, 17 April 2009 diff hist +402 Talk:XTC Format Specification added prefix attribute to syntax
- 09:29, 24 March 2009 diff hist +241 Talk:XTC Format Specification
- 14:17, 24 February 2009 diff hist +626 Talk:XTC Format Specification
- 14:11, 24 February 2009 diff hist +1,224 N Talk:XTC Format Specification add predefined proposal
