| Sat, 28 Jan 2023 19:47:15 +0100 |
wenzelm |
more options to manage resolved components;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:51:41 +0100 |
wenzelm |
proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);
|
changeset |
files
|
| Sat, 28 Jan 2023 16:26:58 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:20:44 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:08:43 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:06:38 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:38:36 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:35:43 +0100 |
wenzelm |
clarified signature: more robust field_scale;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:04:15 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 28 Jan 2023 13:44:00 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 27 Jan 2023 18:59:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 27 Jan 2023 17:33:49 +0100 |
wenzelm |
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:49:03 +0100 |
wenzelm |
more explicit types;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:48:19 +0100 |
wenzelm |
prefer typed/strict operations;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:18:36 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Fri, 27 Jan 2023 15:43:45 +0100 |
wenzelm |
prefer strict operation: java.io.File.length returns 0 for non-existent file;
|
changeset |
files
|
| Fri, 27 Jan 2023 15:33:21 +0100 |
wenzelm |
prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
|
changeset |
files
|
| Fri, 27 Jan 2023 15:22:26 +0100 |
wenzelm |
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()");
|
changeset |
files
|
| Fri, 27 Jan 2023 19:16:38 +0100 |
haftmann |
Restored antiquotation.
|
changeset |
files
|
| Thu, 26 Jan 2023 15:18:55 +0100 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Fri, 27 Jan 2023 16:52:39 +0100 |
desharna |
merged
|
changeset |
files
|
| Fri, 27 Jan 2023 12:25:36 +0100 |
desharna |
added lemma multpHO_plus_plus[simp]
|
changeset |
files
|
| Fri, 27 Jan 2023 13:57:52 +0000 |
paulson |
Shortened a messy proof
|
changeset |
files
|
| Thu, 26 Jan 2023 13:59:51 +0000 |
paulson |
Moved in some material from the AFP entry Winding_number_eval
|
changeset |
files
|