| Fri, 24 Jun 2022 10:49:40 +0200 | desharna | added lemma monotone_on_o | changeset | files |
| Fri, 24 Jun 2022 15:05:04 +0200 | desharna | redefined mono_on and strict_mono_on as an abbreviation of monotone_on | changeset | files |
| Thu, 23 Jun 2022 19:29:22 +0200 | desharna | changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates | changeset | files |
| Thu, 23 Jun 2022 23:42:47 +0200 | wenzelm | more robust CSV syntax, e.g. for "pull_date"; | changeset | files |
| Thu, 23 Jun 2022 22:16:53 +0200 | wenzelm | merged | changeset | files |
| Thu, 23 Jun 2022 21:50:32 +0200 | wenzelm | more scalable generated files and code export, using Bytes.T; | changeset | files |
| Thu, 23 Jun 2022 21:25:56 +0200 | wenzelm | more operations; | changeset | files |
| Thu, 23 Jun 2022 21:25:23 +0200 | wenzelm | proper execution of Bytes.write; | changeset | files |