Mon, 26 Oct 2015 23:41:27 +0000 | paulson | new lemmas about topology, etc., for Cauchy integral formula | changeset | files |
Mon, 26 Oct 2015 19:00:24 +0100 | nipkow | adapted to 436b7fe89cdc | changeset | files |
Mon, 26 Oct 2015 18:04:17 +0100 | wenzelm | clarified Latex.environment (again, amending e16649b70107): avoid additional paragraph, e.g. relevant for option [display]; | changeset | files |