isabelle: Admin/contributed_components@c0fe12591c93 (annotated)

41119 573f557ed716 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 krauss parents: diff changeset	1	#contributed components
41432 3214c39777ab differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); boehmes parents: 41119 diff changeset	2	contrib/cvc3-2.2
44972 7704b2fb02cc updated for release; wenzelm parents: 42076 diff changeset	3	contrib/e-1.4
47266 bf9796e44584 clarified terminology; added reference to bundle component krauss parents: 46109 diff changeset	4	contrib/hol-light-bundle-0.5-126
46109 03e3b4b401e9 reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor blanchet parents: 46061 diff changeset	5	contrib/kodkodi-1.2.16
47578 d83254265530 use latest SPASS blanchet parents: 47524 diff changeset	6	contrib_devel/spass-3.8ds
47524 f80c6d492763 updated to scala-2.9.2; wenzelm parents: 47266 diff changeset	7	contrib/scala-2.9.2
41119 573f557ed716 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 krauss parents: diff changeset	8	contrib/vampire-1.0
42076 195566127689 updated contributed components boehmes parents: 41450 diff changeset	9	contrib/yices-1.0.28
47604 c0fe12591c93 use latest Z3 blanchet parents: 47578 diff changeset	10	contrib_devel/z3-3.2