| Thu, 22 Apr 2021 11:12:03 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Thu, 22 Apr 2021 10:55:31 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 22 Apr 2021 10:11:11 +0200 |
wenzelm |
simplified typesetting of \<guillemotleft>...\<guillemotright>;
|
changeset |
files
|
| Fri, 23 Apr 2021 09:50:14 +0000 |
haftmann |
collecting more lemmas concerning multisets
|
changeset |
files
|
| Tue, 20 Apr 2021 22:53:24 +0200 |
wenzelm |
proper use of antiquotations;
|
changeset |
files
|
| Mon, 19 Apr 2021 21:57:52 +0200 |
wenzelm |
more documentation on "Conversions";
|
changeset |
files
|
| Mon, 19 Apr 2021 15:55:14 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Sat, 17 Apr 2021 19:47:08 +0200 |
wenzelm |
updated example;
|
changeset |
files
|
| Sat, 17 Apr 2021 19:45:12 +0200 |
wenzelm |
clarified options (again);
|
changeset |
files
|
| Sat, 17 Apr 2021 19:37:42 +0200 |
wenzelm |
more options: update ISABELLE_IDENTIFIER;
|
changeset |
files
|
| Fri, 16 Apr 2021 23:35:20 +0200 |
wenzelm |
clarified conditional ML;
|
changeset |
files
|
| Fri, 16 Apr 2021 23:16:00 +0200 |
wenzelm |
support for conditional ML text;
|
changeset |
files
|
| Fri, 16 Apr 2021 21:54:08 +0200 |
wenzelm |
updated example;
|
changeset |
files
|
| Fri, 16 Apr 2021 21:50:47 +0200 |
wenzelm |
clarified options;
|
changeset |
files
|
| Thu, 15 Apr 2021 19:45:43 +0000 |
haftmann |
proper context variable handling when stripping leadings quantifiers from test goals
|
changeset |
files
|
| Wed, 14 Apr 2021 21:15:24 +0200 |
wenzelm |
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
|
changeset |
files
|
| Wed, 14 Apr 2021 20:53:28 +0200 |
wenzelm |
eliminated perl: prefer elementary GNU printenv;
|
changeset |
files
|
| Wed, 14 Apr 2021 14:36:13 +0200 |
wenzelm |
more robust bootstrap of components;
|
changeset |
files
|
| Wed, 14 Apr 2021 14:28:30 +0200 |
wenzelm |
more self-contained support for macOS;
|
changeset |
files
|
| Tue, 13 Apr 2021 16:19:43 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Tue, 13 Apr 2021 11:44:47 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 12 Apr 2021 22:57:39 +0200 |
wenzelm |
support for base64 via Isabelle/Scala/ML;
|
changeset |
files
|
| Mon, 12 Apr 2021 22:45:38 +0200 |
wenzelm |
compile;
|
changeset |
files
|
| Mon, 12 Apr 2021 22:41:51 +0200 |
wenzelm |
clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);
|
changeset |
files
|
| Mon, 12 Apr 2021 22:36:13 +0200 |
wenzelm |
clarified signature (again);
|
changeset |
files
|
| Mon, 12 Apr 2021 22:26:30 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 12 Apr 2021 22:26:09 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 12 Apr 2021 22:18:37 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Mon, 12 Apr 2021 22:17:48 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Mon, 12 Apr 2021 22:16:31 +0200 |
wenzelm |
clarified signature: more structured arguments, notably for remote provers;
|
changeset |
files
|