News:Certification Problem Format: Difference between revisions
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 here …' |
typo |
||
| (One intermediate revision by one other user not shown) | |||
| Line 11: | Line 11: | ||
{{News | {{News | ||
|text= [[Tools: | |text= [[Tools:A3PAT]], [[Tools:CeTA]], and [[Tools:CoLoR]] have agreed upon a common [http://cl-informatik.uibk.ac.at/software/cpf certification problem format]. | ||
|date= Sep 29, 2009 | |date= Sep 29, 2009 | ||
}} | }} | ||
Latest revision as of 13:48, 7 October 2009
Sep 29, 2009
Tools:A3PAT, Tools:CeTA, and Tools:CoLoR have agreed upon a common certification problem format.