From hossaimn at mcmaster.ca Thu Mar 16 21:14:22 2017 From: hossaimn at mcmaster.ca (M.N. Hossain) Date: Thu, 16 Mar 2017 16:14:22 -0400 Subject: [Hets-devel] Hets hyper link, supported language Message-ID: Hello, Before 27th February 2017 Hets homepage hyperlink in http://theo.cs.ovgu.de/Research/Hets.html was redirecting to a different page, but now it is going to http://hets.eu/. If I am not miss remembered, even regarding content, these two pages are not the same. If the link is broken can you please fix it? Otherwise, regarding supported language can anyone confirm the information in hets.eu is up to date or not? Thanks -------------- next part -------------- An HTML attachment was scrubbed... URL: From till at iks.cs.ovgu.de Fri Mar 17 12:48:07 2017 From: till at iks.cs.ovgu.de (Till Mossakowski) Date: Fri, 17 Mar 2017 12:48:07 +0100 Subject: [Hets-devel] Hets hyper link, supported language In-Reply-To: References: Message-ID: Hi, yes, we have restructured the web page. However, it should basically cover the same content, and the new page should be more up-to-date than the old one. That said, still not all supported languages are listed at hets.eu. I have filed an issue: https://github.com/spechub/Hets/issues/1696 A safe way to obtain a list of supported languages is to have a look at the logic graph with hets -g Best, Till Am 16.03.2017 um 21:14 schrieb M.N. Hossain: > Hello, > > Before 27th February 2017 Hets homepage hyperlink in > http://theo.cs.ovgu.de/Research/Hets.html was redirecting to a > different page, but now it is going to http://hets.eu/. If I am not > miss remembered, even regarding content, these two pages are not the > same. If the link is broken can you please fix it? Otherwise, > regarding supported language can anyone confirm the information in > hets.eu is up to date or not? > > Thanks > > > _______________________________________________ > Hets-devel mailing list > Hets-devel at informatik.uni-bremen.de > https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-devel -------------- next part -------------- An HTML attachment was scrubbed... URL: