isabelle: File revisions

src/ZF/ROOT

Mon, 17 Dec 2012 11:07:20 +0100	wenzelm	offer sessions of group "main" first to increase chances that the user makes a sensible choice;	file \| diff \| annotate
Wed, 08 Aug 2012 17:49:56 +0200	wenzelm	simplified session specifications: names are taken verbatim and current directory is default;	file \| diff \| annotate
Tue, 24 Jul 2012 21:36:53 +0200	wenzelm	tuned order;	file \| diff \| annotate
Tue, 24 Jul 2012 20:42:34 +0200	wenzelm	more explicit document = false to reduce warnings;	file \| diff \| annotate
Tue, 24 Jul 2012 10:58:43 +0200	wenzelm	clarified "this_name" vs. former "reset" feature -- imitate the latter by loading other session sources directly;	file \| diff \| annotate
Thu, 19 Jul 2012 14:24:40 +0200	wenzelm	support Session.Queue with ordering and dependencies;	file \| diff \| annotate
Wed, 18 Jul 2012 16:24:16 +0200	wenzelm	more tight treatment of reset_name;	file \| diff \| annotate
Tue, 17 Jul 2012 22:34:29 +0200	wenzelm	basic support for session ROOT files, with examples for FOL and ZF;	file \| diff \| annotate

isabelle