| 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 |