[Termtools] TODAY: Input for TermComp Presentation

[Yamada, Akihisa]

>>   * Is there anything new to report about your tool (or about any other
>>     tool)?

I've forgot about my tool:
- NaTT joined Certified categories since WPO is certifiable now, as you 
all know now :)

Best,
Akihisa


> 
> pull-requests after the first run:
> - iRankFinder: bugfix for the conflict
> - matchbox: correction to my typo
> - NTI: self-detected bugfix
> - MnM, 1st: self-detected bugfix
> - TcT: BenchExec patch
> - Ultimate: I thought it's just renaming, obviously not.
> - MnM, 2nd: Reconfiguration for BenchExec
> - AProVE: correction to Demo registrations
> 
> Best,
> Akihisa
> 
>> Since I have to prepare and submit my slides tomorrow, I need all your 
>> input TODAY. So please send me anything that could be of interest to 
>> the "outside" world...
>>
>> Best Regards
>> Juergen
>>
>>
>>
>> _______________________________________________
>> Termtools mailing list
>> Termtools at lri.fr
>> https://jpn01.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.lri.fr%2Fcgi-bin%2Fmailman%2Flistinfo%2Ftermtools&data=02%7C01%7Cakihisa.yamada%40aist.go.jp%7C420df739f95b417940b808d81e6fbe8f%7C18a7fec8652f409b8369272d9ce80620%7C0%7C0%7C637292812580495060&sdata=dENLAu7pjATiaBjvEZlmQYsD7hYJ2Upq6Utp%2FNLE%2FFw%3D&reserved=0 
>>
>>
> 

-- 
このEメールはアバスト アンチウイルスによりウイルススキャンされています。
https://www.avast.com/antivirus