| Wed, 23 Mar 2011 16:42:09 +0100 | boehmes | updated contributed components | file | diff | annotate |
| Fri, 07 Jan 2011 20:42:25 +0100 | wenzelm | updated scala; | file | diff | annotate |
| Thu, 06 Jan 2011 17:51:56 +0100 | boehmes | differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); | file | diff | annotate |
| Tue, 14 Dec 2010 00:16:30 +0100 | krauss | Admin/contributed_components tries to formalize compatibility with external components (for use e.g. by testing tools), guessing from the content of TUM contrib_devel directory | file | diff | annotate |