[Termtools] Certified categories

Akihisa Yamada akihisayamada at nii.ac.jp
Fri Mar 22 14:36:14 CET 2019

Previous message: [Termtools] Conflict in ITS
Next message: [Termtools] Certified categories
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

thank you to Chris, RenÃ©, and CeTA developers; I started certified 
categories with CeTA 2.35.

http://54.199.109.250/competitions/Y2019/caches/termination_33116.php

Just FIY, I had to "suppress timestamps" that is available in "create 
job - advanced options".

Best,
Akihisa

Previous message: [Termtools] Conflict in ITS
Next message: [Termtools] Certified categories
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list