Admin/contributed_components
2011-03-23 boehmes 2011-03-23 updated contributed components
2011-01-07 wenzelm 2011-01-07 updated scala; removed jedit -- component needs to be build afresh from ISABELLE_HOME/src/Tools/jEdit;
2011-01-06 boehmes 2011-01-06 differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); turned individual SMT solvers into components; made CVC3 the default SMT solver (Z3 is licensed as "non-commercial only"); tuned smt_filter interface
2010-12-14 krauss 2010-12-14 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