[Termination tools] web-interface for termination tools

Frederic Blanqui Frederic.Blanqui at loria.fr
Thu May 26 10:45:54 CEST 2005


On Thu, 26 May 2005, Johannes Waldmann wrote:

> (BTW - is there an online archive of this list?)

i was wondering that too. if not, it would be nice to switch to some 
sympa-like web interface for the list.



More information about the Termtools mailing list