isabelle: File revisions

etc/components

2010-09-16	bulwahn	registering code_prolog as component; using environment variable; adding settings file for prolog code generation	file \| diff \| annotate
2010-07-28	blanchet	updated component name	file \| diff \| annotate
2010-05-12	boehmes	integrated SMT into the HOL image	file \| diff \| annotate
2010-03-24	boehmes	removed Cache_IO component	file \| diff \| annotate
2010-02-16	boehmes	added Cache_IO: cache for output of external tools,	file \| diff \| annotate
2009-11-20	kleing	WWW_Find component: find_theorems via web browser	file \| diff \| annotate
2009-09-18	boehmes	added new method "smt": an oracle-based connection to external SMT solvers	file \| diff \| annotate
2009-09-02	boehmes	moved Mirabelle from HOL/Tools to HOL,	file \| diff \| annotate
2009-09-01	haftmann	code generator is now a separate component	file \| diff \| annotate
2009-08-22	wenzelm	tuned;	file \| diff \| annotate
2009-08-21	boehmes	moved Mirabelle to HOL/Tools	file \| diff \| annotate
2009-08-17	boehmes	made Mirabelle a component	file \| diff \| annotate
2009-08-06	wenzelm	misc changes to SOS by Philipp Meyer:	file \| diff \| annotate
2009-08-04	wenzelm	src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;	file \| diff \| annotate
2009-08-04	wenzelm	turned object-logics into components;	file \| diff \| annotate

isabelle