| Mon, 05 Sep 2022 21:20:38 +0200 |
wenzelm |
unused (see 15758fced053);
|
changeset |
files
|
| Mon, 05 Sep 2022 21:18:40 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Mon, 05 Sep 2022 21:13:29 +0200 |
wenzelm |
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
|
changeset |
files
|
| Mon, 05 Sep 2022 20:22:13 +0200 |
wenzelm |
proper umlauts;
|
changeset |
files
|
| Mon, 05 Sep 2022 19:23:12 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 05 Sep 2022 17:53:45 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 05 Sep 2022 13:32:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 05 Sep 2022 11:36:41 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 05 Sep 2022 11:09:35 +0200 |
wenzelm |
tuned error message;
|
changeset |
files
|
| Wed, 07 Sep 2022 08:58:27 +0200 |
desharna |
merged
|
changeset |
files
|
| Fri, 02 Sep 2022 13:41:55 +0200 |
desharna |
merged
|
changeset |
files
|
| Sat, 25 Jun 2022 13:34:41 +0200 |
desharna |
moved antimono to Fun and redefined it as an abbreviation
|
changeset |
files
|
| Sat, 25 Jun 2022 13:21:27 +0200 |
desharna |
moved mono and strict_mono to Fun and redefined them as abbreviations
|
changeset |
files
|
| Mon, 05 Sep 2022 16:39:23 +0200 |
haftmann |
clarified generic euclidean relation
|
changeset |
files
|
| Mon, 05 Sep 2022 12:54:05 +0200 |
blanchet |
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
|
changeset |
files
|