Thu, 24 Sep 2020 19:04:47 +0200 |
wenzelm |
proper platform_path for Windows;
|
changeset |
files
|
Thu, 24 Sep 2020 17:23:25 +0200 |
wenzelm |
evaluate PolyML via running Isabelle/ML;
|
changeset |
files
|
Thu, 24 Sep 2020 16:43:43 +0200 |
wenzelm |
output via file instead of stdout;
|
changeset |
files
|
Thu, 24 Sep 2020 15:27:24 +0200 |
wenzelm |
proper context;
|
changeset |
files
|
Thu, 24 Sep 2020 15:26:26 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Thu, 24 Sep 2020 15:16:45 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Thu, 24 Sep 2020 00:29:51 +0200 |
nipkow |
tuned
|
changeset |
files
|
Wed, 23 Sep 2020 11:14:38 +0000 |
haftmann |
more thorough treatment of division, particularly signed division on int and word
|
changeset |
files
|
Wed, 23 Sep 2020 08:52:41 +0000 |
haftmann |
canonical enum instance for word
|
changeset |
files
|
Sun, 20 Sep 2020 21:09:40 +0200 |
wenzelm |
merged
|
changeset |
files
|
Sun, 20 Sep 2020 20:47:59 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Sun, 20 Sep 2020 20:00:14 +0200 |
wenzelm |
proper ml_source: avoid duplicate Bash.string;
|
changeset |
files
|
Sun, 20 Sep 2020 19:36:45 +0200 |
wenzelm |
misc tuning and clarification: prefer functions over data;
|
changeset |
files
|
Sun, 20 Sep 2020 12:21:54 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 20 Sep 2020 12:18:50 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
Sun, 20 Sep 2020 11:42:48 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
Sun, 20 Sep 2020 11:32:58 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 20 Sep 2020 15:45:25 +0100 |
paulson |
merged
|
changeset |
files
|
Sun, 20 Sep 2020 15:45:14 +0100 |
paulson |
de-applying and simplifying
|
changeset |
files
|
Fri, 18 Sep 2020 12:33:10 +0200 |
nipkow |
tuned
|
changeset |
files
|
Fri, 18 Sep 2020 08:02:19 +0100 |
paulson |
removal of needless premises
|
changeset |
files
|
Thu, 17 Sep 2020 18:48:37 +0100 |
paulson |
merged
|
changeset |
files
|
Thu, 17 Sep 2020 18:48:06 +0100 |
paulson |
de-applying
|
changeset |
files
|
Thu, 17 Sep 2020 14:27:56 +0200 |
haftmann |
dropped junk
|
changeset |
files
|
Thu, 17 Sep 2020 13:55:21 +0200 |
haftmann |
typo
|
changeset |
files
|
Thu, 17 Sep 2020 12:06:38 +0200 |
haftmann |
NEWS and CONTRIBUTORS
|
changeset |
files
|
Thu, 17 Sep 2020 09:57:31 +0000 |
haftmann |
integrated generic conversions into word corpse
|
changeset |
files
|
Thu, 17 Sep 2020 09:57:30 +0000 |
haftmann |
more lemmas
|
changeset |
files
|
Tue, 15 Sep 2020 08:57:47 +0200 |
nipkow |
added lemma
|
changeset |
files
|
Sun, 13 Sep 2020 16:11:05 +0100 |
paulson |
de-applying
|
changeset |
files
|
Fri, 11 Sep 2020 18:55:31 +0100 |
paulson |
merged
|
changeset |
files
|
Fri, 11 Sep 2020 14:15:14 +0100 |
paulson |
merged
|
changeset |
files
|