Tue, 26 Nov 2019 14:32:08 +0000 | paulson | Rearrangement of material in Complex_Analysis_Basics, which contained much that had nothing to do with complex analysis. | changeset | files |
Tue, 26 Nov 2019 08:09:44 +0100 | ballarin | Remove diagnostic command 'print_dependencies'. | changeset | files |
Mon, 25 Nov 2019 13:28:31 +0100 | wenzelm | support for output messages; | changeset | files |
Mon, 25 Nov 2019 12:41:52 +0100 | wenzelm | tuned; | changeset | files |
Mon, 25 Nov 2019 12:19:14 +0100 | wenzelm | tuned -- avoid deprecated constructors; | changeset | files |
Mon, 25 Nov 2019 12:16:26 +0100 | wenzelm | tuned signature; | changeset | files |