| Sat, 25 Jun 2022 16:51:24 +0200 | wenzelm | prefer antiquotations; | changeset | files |
| Sat, 25 Jun 2022 13:19:15 +0200 | wenzelm | clarified modules; | changeset | files |
| Sat, 25 Jun 2022 10:27:42 +0200 | wenzelm | more documentation; | changeset | files |
| Sat, 25 Jun 2022 10:05:43 +0200 | wenzelm | merged | changeset | files |
| Sat, 25 Jun 2022 10:05:36 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 24 Jun 2022 23:38:41 +0200 | wenzelm | clarified signature: File.read_lines is based on scalable Bytes.T; | changeset | files |
| Fri, 24 Jun 2022 23:31:28 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 24 Jun 2022 23:11:59 +0200 | wenzelm | prefer scalable Bytes.T; | changeset | files |
| Fri, 24 Jun 2022 11:20:14 +0200 | wenzelm | unused; | changeset | files |
| Fri, 24 Jun 2022 10:55:23 +0200 | wenzelm | prefer scalable Bytes.T; | changeset | files |
| Sat, 25 Jun 2022 06:34:11 +0200 | Mathias Fleury | missing recursive let-expansion in SMT translation | changeset | files |
| Fri, 24 Jun 2022 21:17:35 +0200 | desharna | merged | changeset | files |
| 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 |
| Wed, 22 Jun 2022 08:15:14 +0000 | haftmann | Avoid calculations where not necessary. | changeset | files |
| Wed, 22 Jun 2022 08:15:12 +0000 | haftmann | Prefer existing horner sum combinator. | changeset | files |
| Wed, 22 Jun 2022 08:15:10 +0000 | haftmann | Executable lexords. | changeset | files |
| Wed, 22 Jun 2022 08:15:09 +0000 | haftmann | Less warnings. | changeset | files |
| Wed, 22 Jun 2022 17:07:00 +0200 | wenzelm | merged | changeset | files |
| Wed, 22 Jun 2022 16:54:30 +0200 | wenzelm | more operations; | changeset | files |
| Wed, 22 Jun 2022 16:25:22 +0200 | wenzelm | removed unused operations; | changeset | files |
| Wed, 22 Jun 2022 16:24:57 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Wed, 22 Jun 2022 14:31:18 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 22 Jun 2022 14:26:11 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 22 Jun 2022 14:22:08 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 22 Jun 2022 14:18:48 +0200 | wenzelm | clarified session resources for bootstrap, notably for Scala functions; | changeset | files |
| Wed, 22 Jun 2022 14:16:45 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 22 Jun 2022 13:42:30 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 22 Jun 2022 11:23:53 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 22 Jun 2022 11:09:31 +0200 | wenzelm | clarified types and defaults; | changeset | files |
| Wed, 22 Jun 2022 14:52:27 +0200 | desharna | merged | changeset | files |
| Tue, 21 Jun 2022 14:21:55 +0200 | desharna | added lemmas monotone{,_on}_multp_multp_image_mset | changeset | files |
| Tue, 21 Jun 2022 13:40:35 +0200 | desharna | added lemmas monotone_on_empty[simp] and monotone_on_subset | changeset | files |
| Tue, 21 Jun 2022 13:39:06 +0200 | desharna | added predicate monotone_on and redefined monotone to be an abbreviation. | changeset | files |
| Tue, 21 Jun 2022 23:36:16 +0200 | wenzelm | merged | changeset | files |
| Tue, 21 Jun 2022 23:30:19 +0200 | wenzelm | NEWS; | changeset | files |
| Tue, 21 Jun 2022 23:27:26 +0200 | wenzelm | support XZ compression in Isabelle/ML; | changeset | files |
| Tue, 21 Jun 2022 23:05:37 +0200 | wenzelm | prefer scalable byte strings; | changeset | files |
| Tue, 21 Jun 2022 22:17:11 +0200 | wenzelm | more scalable byte messages, notably for Scala functions in ML; | changeset | files |
| Tue, 21 Jun 2022 16:03:00 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 21 Jun 2022 15:56:31 +0200 | wenzelm | clarified ML pretty printing; | changeset | files |
| Tue, 21 Jun 2022 15:48:59 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Tue, 21 Jun 2022 15:40:18 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 21 Jun 2022 14:51:50 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 21 Jun 2022 14:51:17 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Tue, 21 Jun 2022 14:46:42 +0200 | wenzelm | tuned signature: more operations; | changeset | files |
| Tue, 21 Jun 2022 14:22:34 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 21 Jun 2022 14:08:02 +0200 | wenzelm | clarified signature: avoid repeated string copying via Substring.slice; | changeset | files |
| Tue, 21 Jun 2022 13:14:09 +0200 | wenzelm | support for scalable byte strings, with incremental construction; | changeset | files |
| Mon, 20 Jun 2022 16:15:07 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 20 Jun 2022 10:45:25 +0200 | wenzelm | remove unused file following 51e696887b81; | changeset | files |
| Mon, 20 Jun 2022 11:06:33 +0200 | desharna | added lemma map_mono_strict_suffix | changeset | files |
| Wed, 15 Jun 2022 16:55:10 +0200 | wenzelm | more robust: always override ISABELLE_IDENTIFIER from environment; | changeset | files |
| Wed, 15 Jun 2022 13:37:35 +0200 | wenzelm | "isabelle vscode" is regular user-space tool; | changeset | files |