doc-src/fixbookmarks.pl
author hoelzl
Mon, 23 Aug 2010 19:35:57 +0200
changeset 38656 d5d342611edb
parent 6636 80052270f08b
permissions -rw-r--r--
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.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6609
28726a610a17 pdf setup;
wenzelm
parents:
diff changeset
     1
6636
wenzelm
parents: 6609
diff changeset
     2
s/\\([a-zA-Z]+)\s*/$1/g;
6609
28726a610a17 pdf setup;
wenzelm
parents:
diff changeset
     3
s/\$//g;
28726a610a17 pdf setup;
wenzelm
parents:
diff changeset
     4
s/^BOOKMARK/\\BOOKMARK/g;