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 …' |
No edit summary |
||
| Line 11: | Line 11: | ||
{{News | {{News | ||
|text= [[Tools: | |text= [[Tools:A3PAT]], [[Tools:CeTA]], and [[Tools:CoLoR]] and have agreed upon a common [http://cl-informatik.uibk.ac.at/software/cpf certification problem format]. | ||
|date= Sep 29, 2009 | |date= Sep 29, 2009 | ||
}} | }} | ||
Revision as of 06:33, 7 October 2009
Sep 29, 2009
Tools:A3PAT, Tools:CeTA, and Tools:CoLoR and have agreed upon a common certification problem format.