| Sun, 10 Oct 2021 14:45:53 +0000 |
haftmann |
avoid overaggressive contraction of conversions
|
changeset |
files
|
| Sat, 09 Oct 2021 16:41:21 +0000 |
haftmann |
normalizing NOT (numeral _) (again)
|
changeset |
files
|
| Fri, 08 Oct 2021 10:57:05 +0200 |
wenzelm |
tuned text;
|
changeset |
files
|
| Thu, 07 Oct 2021 23:42:10 +0200 |
wenzelm |
recover NEWS from 78d1f73bbeaa;
|
changeset |
files
|
| Thu, 07 Oct 2021 23:41:06 +0200 |
wenzelm |
save 90 MB by excluding rlwrap and thus perl;
|
changeset |
files
|
| Thu, 07 Oct 2021 23:21:09 +0200 |
wenzelm |
save 45 MB by excluding rlwrap and thus perl;
|
changeset |
files
|
| Thu, 07 Oct 2021 22:46:47 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Thu, 07 Oct 2021 22:44:18 +0200 |
wenzelm |
clarified test of directories;
|
changeset |
files
|
| Thu, 07 Oct 2021 22:21:11 +0200 |
wenzelm |
misc tuning for release;
|
changeset |
files
|
| Thu, 07 Oct 2021 21:43:26 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 07 Oct 2021 20:53:24 +0200 |
wenzelm |
updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
|
changeset |
files
|
| Thu, 07 Oct 2021 14:02:18 +0200 |
wenzelm |
provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;
|
changeset |
files
|