| Thu, 25 Feb 2016 17:49:04 +0100 | wenzelm | more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash; | changeset | files |
| Thu, 25 Feb 2016 16:53:34 +0000 | paulson | Merge | changeset | files |
| Thu, 25 Feb 2016 16:49:00 +0000 | paulson | partial tidy-up of Sylow's theorem | changeset | files |
| Thu, 25 Feb 2016 16:16:29 +0100 | wenzelm | proper option process_output_tail, more generous default; | changeset | files |
| Thu, 25 Feb 2016 13:58:48 +0000 | paulson | Conformal_mappings: a big development in complex analysis (+ some lemmas) | changeset | files |
| Thu, 25 Feb 2016 00:36:44 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 25 Feb 2016 00:35:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 25 Feb 2016 00:27:57 +0100 | wenzelm | proper return code for timeout (amending f868f12f9419); | changeset | files |