May 2006 Archives by author
Starting: Tue May 2 13:05:54 CEST 2006
Ending: Wed May 31 16:37:09 CEST 2006
Messages: 20
- [Termtools] CoLoR: new release with HORPO !
Frederic Blanqui
- [Termtools] rules of competitition
Joerg Endrullis
- [Termtools] (sub) categories, specification of input format,
test cases
Juergen Giesl
- [Termtools] ***UNCHECKED*** new TPDB
Salvador Lucas
- [Termtools] (sub) categories, specification of input format,
test cases
Salvador Lucas
- [Termtools] (sub) categories, specification of input format,
test cases
Salvador Lucas
- [Termtools] TPDB 3.0
Claude Marche
- [Termtools] new version of TPDB
Claude Marche
- [Termtools] new list server
Claude Marche
- [Termtools] ***UNCHECKED*** new TPDB
Peter Schneider-Kamp
- [Termtools] (sub) categories, specification of input format,
test cases
Peter Schneider-Kamp
- [Termtools] (sub) categories, specification of input format, test cases
Rene Thiemann
- [Termtools] (sub) categories, specification of input format,
test cases
Johannes Waldmann
- [Termtools] new systems for TPDB
H. Zantema
- [Termtools] Suggestion for new output
H. Zantema
- [Termtools] Competition dates
Zantema, H.
- [Termtools] competition dates
H. Zantema
- [Termtools] rules of competitition
H. Zantema
- [Termtools] secret problems
H. Zantema
- [Termtools] context-sensitive
H. Zantema
Last message date:
Wed May 31 16:37:09 CEST 2006
Archived on: Tue Sep 5 15:57:42 CEST 2006
This archive was generated by
Pipermail 0.09 (Mailman edition).