| Tue, 30 Jan 2024 16:39:21 +0000 |
paulson |
A few more new theorems taken from AFP entries
|
changeset |
files
|
| Mon, 29 Jan 2024 21:18:11 +0100 |
nipkow |
merged
|
changeset |
files
|
| Mon, 29 Jan 2024 21:17:57 +0100 |
nipkow |
define_time_function: avoid unused let's
|
changeset |
files
|
| Mon, 29 Jan 2024 19:35:07 +0000 |
haftmann |
common type class for trivial properties on div/mod
|
changeset |
files
|
| Mon, 29 Jan 2024 11:54:44 +0100 |
wenzelm |
more robust (amending 1600fb749c54), to support the following corner case:
|
changeset |
files
|
| Sun, 28 Jan 2024 19:22:33 +0100 |
wenzelm |
proper test options;
|
changeset |
files
|
| Sat, 27 Jan 2024 23:05:00 +0100 |
wenzelm |
proper history_base for linux_arm;
|
changeset |
files
|
| Sat, 27 Jan 2024 22:35:14 +0100 |
wenzelm |
updated to PostgreSQL 12 on Ubuntu 20.04;
|
changeset |
files
|
| Sat, 27 Jan 2024 22:15:40 +0100 |
wenzelm |
routine build + test for linux_arm;
|
changeset |
files
|
| Sat, 27 Jan 2024 21:12:16 +0100 |
wenzelm |
disable test on "augsburg1": machine will be dismantled;
|
changeset |
files
|
| Fri, 26 Jan 2024 16:06:48 +0100 |
Fabian Huch |
add approximation factors in build schedule to estimate build times more conservatively;
|
changeset |
files
|
| Fri, 26 Jan 2024 11:19:30 +0000 |
paulson |
merged
|
changeset |
files
|