| Wed, 16 Jun 2021 08:19:09 +0000 | haftmann | more lemmas | changeset | files |
| Sat, 12 Jun 2021 15:37:25 +0200 | desharna | added support for unbounded max calls to Mirabelle | changeset | files |
| Sat, 12 Jun 2021 12:39:33 +0200 | desharna | added warnings when defining unamed or redefining Mirabelle action | changeset | files |
| Sat, 12 Jun 2021 12:16:19 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 11 Jun 2021 09:33:43 +0200 | desharna | tuned Mirabelle | changeset | files |
| Thu, 10 Jun 2021 11:54:14 +0200 | desharna | merged | changeset | files |
| Thu, 10 Jun 2021 11:21:57 +0200 | desharna | refactored Mirabelle to produce output in real time | changeset | files |
| Wed, 09 Jun 2021 18:04:22 +0000 | haftmann | global interpretation into nested targets | changeset | files |
| Wed, 09 Jun 2021 18:04:21 +0000 | haftmann | more succint interfaces | changeset | files |
| 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 |