Mon, 23 Aug 2010 16:47:55 +0200 added support for xsymbol syntax for mode annotations in code_pred command
bulwahn [Mon, 23 Aug 2010 16:47:55 +0200] rev 38664
added support for xsymbol syntax for mode annotations in code_pred command
Wed, 25 Aug 2010 11:13:27 +0200 tuned raw Sidekick output;
wenzelm [Wed, 25 Aug 2010 11:13:27 +0200] rev 38663
tuned raw Sidekick output;
Tue, 24 Aug 2010 23:49:07 +0200 Text.Range.is_singleton;
wenzelm [Tue, 24 Aug 2010 23:49:07 +0200] rev 38662
Text.Range.is_singleton;
Tue, 24 Aug 2010 21:34:38 +0200 Markup_Tree.+: new info tends to sink to bottom, where it is prefered by select;
wenzelm [Tue, 24 Aug 2010 21:34:38 +0200] rev 38661
Markup_Tree.+: new info tends to sink to bottom, where it is prefered by select;
Tue, 24 Aug 2010 21:22:01 +0200 tuned;
wenzelm [Tue, 24 Aug 2010 21:22:01 +0200] rev 38660
tuned;
Tue, 24 Aug 2010 21:20:08 +0200 Markup_Tree.select: more straight-forward recursion producing one main stream, avoid fragmentation of parent info due to ignored subtree;
wenzelm [Tue, 24 Aug 2010 21:20:08 +0200] rev 38659
Markup_Tree.select: more straight-forward recursion producing one main stream, avoid fragmentation of parent info due to ignored subtree; tuned;
Tue, 24 Aug 2010 20:36:48 +0200 tuned root markup;
wenzelm [Tue, 24 Aug 2010 20:36:48 +0200] rev 38658
tuned root markup;
Mon, 23 Aug 2010 20:50:00 +0200 misc tuning of important special cases;
wenzelm [Mon, 23 Aug 2010 20:50:00 +0200] rev 38657
misc tuning of important special cases;
Mon, 23 Aug 2010 19:35:57 +0200 Rewrite the Probability theory.
hoelzl [Mon, 23 Aug 2010 19:35:57 +0200] rev 38656
Rewrite the Probability theory. Introduced pinfreal as real numbers with infinity. Use pinfreal as value for measures. Introduces Lebesgue Measure based on the integral in Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure spaces.
Mon, 23 Aug 2010 17:46:13 +0200 merged
wenzelm [Mon, 23 Aug 2010 17:46:13 +0200] rev 38655
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip