src/HOL/ROOT
Tue, 24 Jul 2012 10:11:49 +0200 wenzelm clarified document options;
Sat, 21 Jul 2012 22:13:50 +0200 wenzelm propagate defined options;
Thu, 19 Jul 2012 14:24:40 +0200 wenzelm support Session.Queue with ordering and dependencies;
Wed, 18 Jul 2012 17:22:59 +0200 wenzelm some HOL sessions;
less more (0) tip