isabelle: File revisions

Admin/contributed_components

Sun, 01 Apr 2012 23:09:36 +0200	krauss	clarified terminology; added reference to bundle component	file \| diff \| annotate
Wed, 04 Jan 2012 00:32:02 +0100	blanchet	reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor	file \| diff \| annotate
Sat, 31 Dec 2011 00:19:32 +0100	krauss	disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5)	file \| diff \| annotate
Sun, 18 Sep 2011 15:30:31 +0200	wenzelm	updated for release;	file \| diff \| annotate
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

isabelle