Tue, 20 Jun 2017 17:28:17 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Tue, 20 Jun 2017 17:14:27 +0200 |
wenzelm |
proper treatment of empty result;
|
changeset |
files
|
Tue, 20 Jun 2017 17:08:24 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
Tue, 20 Jun 2017 16:17:54 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Tue, 20 Jun 2017 16:14:38 +0200 |
wenzelm |
provide spell-checker menu via completion commands;
|
changeset |
files
|
Tue, 20 Jun 2017 15:04:34 +0200 |
wenzelm |
added commands for spell-checker dictionary;
|
changeset |
files
|
Tue, 20 Jun 2017 11:19:06 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Tue, 20 Jun 2017 14:41:35 +0200 |
blanchet |
tuning
|
changeset |
files
|
Tue, 20 Jun 2017 14:41:29 +0200 |
blanchet |
SMT news
|
changeset |
files
|
Tue, 20 Jun 2017 14:33:45 +0200 |
blanchet |
correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code
|
changeset |
files
|
Tue, 20 Jun 2017 08:01:56 +0200 |
haftmann |
do not print unimplemented functions
|
changeset |
files
|
Tue, 20 Jun 2017 08:01:56 +0200 |
haftmann |
dropped void values
|
changeset |
files
|