| 2011-03-23 | boehmes | updated contributed components | file | diff | annotate |
| 2011-01-07 | wenzelm | updated scala; | file | diff | annotate |
| 2011-01-06 | boehmes | differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); | file | diff | annotate |
| 2010-12-13 | 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 |