clarified separated_chunks vs. space_explode;

more precise indentation;

modernized specifications;

tuned signature;

renamed Position.str_of to Position.here;

init components from local clone that is used to produce the test distribition, which itself lacks Admin;

discontinued centralistic changelog;

discontinued odd copy of eps logos (cf. 8fc3828fdc8a);

prefer cp over mv, to reduce assumptions about file-system boundaries and GNU vs. non-GNU tools;

removed odd left-over file;

update on "isabelle build" and "isabelle build_doc";

renamed doc-src to src/Doc; renamed TutorialI to Tutorial;

do not hardwire document output options -- to be provided by the user;

more permanent update of keywords (cf. 3517d6f50b12);

merged

updated keywords

fixed import paths in examples

fixed import paths

tuning

updated NEWS and CONTRIBUTORS

documentation cleanup

added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)

Typo fixed.

updated .hgignore to reflect to (almost) clean result of build_doc;

more formal build_doc tool (Admin only); removed some doc-src junk;

prepare document more uniformly; fewer latex runs, in accordance to "isabelle document"; apply fixbookmarks last to operate on final root.out;

prefer \input which actually checks file existence;

tuned;