Revision history of "TPDB XML Format"

From Termination-Portal.org
Jump to navigationJump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 09:09, 19 May 2008Binabik talk contribs 1,099 bytes +1,099 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/>...