| Wed, 09 Jun 2021 11:25:21 +0200 | wenzelm | merged | changeset | files |
| Wed, 09 Jun 2021 11:21:42 +0200 | wenzelm | tuned messages; | changeset | files |
| Wed, 09 Jun 2021 10:58:28 +0200 | wenzelm | NEWS; | changeset | files |
| Wed, 09 Jun 2021 10:52:37 +0200 | wenzelm | proper profiling within command execution: messages require PIDE id; | changeset | files |
| Wed, 09 Jun 2021 10:37:53 +0200 | wenzelm | more systematic treatment of profiling mode; | changeset | files |
| Tue, 08 Jun 2021 23:36:30 +0200 | wenzelm | tuned message; | changeset | files |
| Tue, 08 Jun 2021 23:34:06 +0200 | wenzelm | prefer less intrusive tracing message; | changeset | files |
| Tue, 08 Jun 2021 23:23:59 +0200 | wenzelm | clarified documentation: tracing messages are not shown here; | changeset | files |
| Tue, 08 Jun 2021 16:32:57 +0200 | wenzelm | add missing file; | changeset | files |
| Tue, 08 Jun 2021 13:17:45 +0200 | wenzelm | more formal ML profiling messages; | changeset | files |
| Mon, 07 Jun 2021 16:40:26 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 08 Jun 2021 17:01:32 +0200 | nipkow | Lukas Steven's more general fold foctions for maps | changeset | files |
| Tue, 01 Jun 2021 19:46:34 +0200 | nipkow | More general fold function for maps | changeset | files |
| Mon, 07 Jun 2021 15:13:34 +0200 | wenzelm | follow Phabricator update 2021 Week 23; | changeset | files |
| Mon, 07 Jun 2021 14:41:04 +0200 | wenzelm | tuned; | changeset | files |