src/HOL/ROOT
2012-07-24 wenzelm 2012-07-24 more files;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 tuned order;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 more explicit document = false to reduce warnings; tuned;
2012-07-24 wenzelm 2012-07-24 more session entries;
2012-07-24 wenzelm 2012-07-24 clarified "document" again, eliminated redundant "no_document";
2012-07-24 wenzelm 2012-07-24 clarified document options;
2012-07-21 wenzelm 2012-07-21 propagate defined options; misc tuning;
2012-07-19 wenzelm 2012-07-19 support Session.Queue with ordering and dependencies;
2012-07-18 wenzelm 2012-07-18 some HOL sessions;