| Sun, 23 Sep 2018 19:59:53 +0200 | wenzelm | discontinued old-style inner comments; | changeset | files |
| Sun, 23 Sep 2018 19:59:32 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 23 Sep 2018 19:17:57 +0200 | wenzelm | eliminated old-style inner comments; | changeset | files |
| Sun, 23 Sep 2018 17:14:06 +0200 | nipkow | More standard precedences | changeset | files |
| Sun, 23 Sep 2018 15:42:19 +0200 | nipkow | more standard syntax | changeset | files |
| Sun, 23 Sep 2018 13:45:37 +0200 | nipkow | News | changeset | files |
| Sun, 23 Sep 2018 12:50:12 +0200 | nipkow | use standard syntax | changeset | files |
| Sat, 22 Sep 2018 16:03:31 +0200 | wenzelm | proper status after commit; | changeset | files |
| Sat, 22 Sep 2018 15:22:29 +0200 | wenzelm | obsolete (see aec64b88e708); | changeset | files |
| Sat, 22 Sep 2018 14:24:53 +0200 | wenzelm | proper return code for runtime failure; | changeset | files |
| Sat, 22 Sep 2018 13:22:43 +0200 | wenzelm | clarified errors: no result from forced session.stop, check pending theories; | changeset | files |
| Fri, 21 Sep 2018 23:14:52 +0100 | paulson | merged | changeset | files |