News:Plan for complete run (all tools, all problems)

From Termination-Portal.org
Revision as of 14:47, 3 December 2011 by J.waldmann (talk | contribs) (Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Dec 6, 2011

A complete termcomp run (all tools, all problems) is planned. Announcement