| Wed, 13 Mar 2024 16:09:11 +0100 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Wed, 13 Mar 2024 11:23:22 +0100 |
wenzelm |
proper system option, instead of hardwired default;
|
changeset |
files
|
| Wed, 13 Mar 2024 11:04:06 +0100 |
wenzelm |
tuned signature: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
| Wed, 13 Mar 2024 10:58:15 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Wed, 13 Mar 2024 11:54:06 +0100 |
Fabian Huch |
clarified build schedule host: proper module;
|
changeset |
files
|
| Wed, 13 Mar 2024 11:45:20 +0100 |
Fabian Huch |
remove unused dummy;
|
changeset |
files
|
| Wed, 13 Mar 2024 11:05:53 +0100 |
Fabian Huch |
tuned;
|
changeset |
files
|
| Tue, 12 Mar 2024 13:52:29 +0100 |
Fabian Huch |
use timeout as default build time predictor if no data is available;
|
changeset |
files
|
| Tue, 12 Mar 2024 16:20:02 +0000 |
paulson |
merged
|
changeset |
files
|
| Tue, 12 Mar 2024 16:19:52 +0000 |
paulson |
Restored Riemann_Mapping as an import of Complex_Analysis
|
changeset |
files
|
| Tue, 12 Mar 2024 15:58:40 +0100 |
wenzelm |
proper file headers;
|
changeset |
files
|
| Tue, 12 Mar 2024 15:57:25 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 12 Mar 2024 15:31:44 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 12 Mar 2024 15:30:32 +0100 |
wenzelm |
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
|
changeset |
files
|
| Tue, 12 Mar 2024 15:11:29 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Tue, 12 Mar 2024 13:17:25 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Tue, 12 Mar 2024 11:18:38 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 12 Mar 2024 11:16:06 +0100 |
wenzelm |
removed somewhat pointless check;
|
changeset |
files
|
| Tue, 12 Mar 2024 11:14:02 +0100 |
wenzelm |
tuned signature: fewer warnings in IntelliJ IDEA;
|
changeset |
files
|
| Tue, 12 Mar 2024 12:11:39 +0000 |
paulson |
merged
|
changeset |
files
|
| Tue, 12 Mar 2024 12:11:28 +0000 |
paulson |
Fixed a latex error in the markup
|
changeset |
files
|
| Mon, 11 Mar 2024 23:03:12 +0100 |
wenzelm |
minor performance tuning: SQL.order_by is only for demo purposes;
|
changeset |
files
|
| Mon, 11 Mar 2024 22:12:56 +0100 |
wenzelm |
support efficient access to state updates, based on LEFT OUTER JOIN;
|
changeset |
files
|
| Mon, 11 Mar 2024 20:44:34 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 11 Mar 2024 20:33:49 +0100 |
wenzelm |
tuned: prefer if_proper expression;
|
changeset |
files
|
| Mon, 11 Mar 2024 20:31:35 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 11 Mar 2024 20:24:59 +0100 |
wenzelm |
tuned: prefer if_proper expression;
|
changeset |
files
|
| Mon, 11 Mar 2024 15:07:02 +0000 |
paulson |
New material by Wenda Li and Manuel Eberl
|
changeset |
files
|
| Mon, 11 Mar 2024 08:46:20 +0100 |
traytel |
merged
|
changeset |
files
|
| Mon, 11 Mar 2024 08:45:55 +0100 |
traytel |
export BNF properties about the cardinal bound (by Jan van Brügge)
|
changeset |
files
|
| Sun, 10 Mar 2024 22:55:18 +0100 |
wenzelm |
unused (see 123f2c0995b8);
|
changeset |
files
|
| Sun, 10 Mar 2024 22:42:27 +0100 |
wenzelm |
tuned;
|
changeset |
files
|