More robust proof in Slicing

Adapted to isabelle-dev/159e33bdddc6

More robust apply proofs in Finger-Trees

Extended Stirling's formula to complex numbers

Another attempt to fix MathJax + Jenkins: more robust ROOT_PATH in templates

Tuned MathJax templates

Added MathJax support for abstracts

Documentation for MathJax

Another attempt to fix MathJax on Jenkins 2

Another attempt to fix MathJax on Jenkins

Trying to fix strange sitegen problem with Jenkins

Fixed typo in abstract of Lucas_Theorem

sitegen for Lucas_Theorem

new entry Lucas_Theorem

Backed out changeset 9af08c18b665

Switched to MathJax CDN to diagnose Safari issues

Tuned MathJax templates

Another attempt to fix MathJax + Jenkins: more robust ROOT_PATH in templates

Documentation for MathJax

Another attempt to fix MathJax on Jenkins 2

Another attempt to fix MathJax on Jenkins

Trying to fix strange sitegen problem with Jenkins

Sitegen with MathJax

Added MathJax support for abstracts

Fixed some typos in Furstenberg_Topology

updated NEWS w.r.t. e0237f2eb49d

make Poincare_Disc build on Complex_Geometry

repaired broken proofs in Skip_Lists; removed unfinished experimental thy file

sitegen for Arith_Prog_Rel_Primes

new entry Arith_Prog_Rel_Primes

added new entries: Complex_Geometry and Poincare_Disc

fixed incorrect HTML entity in Poincare_Disc metadata

Fixed broken citation in Poincare_Disc

adapted to isabelle-dev/e0237f2eb49d

Removed multiplicativity assumption from normalization_semidom

Removed unnecessary and problematic trivial lemma from HOL-Algebra

More material for Zeta_Function: Hadjicostas's formula

Corrected name

Removed orphaned theory from HOL-Analysis

Reorganised HOL-Complex_Analysis

Removed duplicate theorems from HOL-Analysis

Flattened dependency tree of HOL-Analysis

Merged

Simplified Harmonic_Numbers

Split off new HOL-Complex_Analysis session from HOL-Analysis

Merged

adapted to isabelle-dev 954ee5acaae0