| Sun, 22 Jul 2018 20:01:03 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 20 Jul 2018 03:14:44 +0200 | wenzelm | added system option "strict_facts"; | file | diff | annotate |
| Wed, 18 Jul 2018 11:47:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 15 Jul 2018 23:44:52 +0200 | Andreas Lochbihler | merged | file | diff | annotate |
| Sun, 15 Jul 2018 23:44:38 +0200 | Andreas Lochbihler | more examples for Code_Lazy | file | diff | annotate |
| Sun, 15 Jul 2018 14:46:57 +0200 | Manuel Eberl | Added Real_Asymp package | file | diff | annotate |
| Mon, 02 Jul 2018 16:26:11 +0200 | wenzelm | more NEWS; | file | diff | annotate |
| Sun, 01 Jul 2018 12:38:37 +0200 | wenzelm | discontinued pending_shyps: too much complication due to lazy facts; | file | diff | annotate |
| Fri, 29 Jun 2018 22:50:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 Jun 2018 22:14:33 +0200 | wenzelm | merged; | file | diff | annotate |
| Fri, 29 Jun 2018 20:11:17 +0200 | wenzelm | misc tuning and updates for release; | file | diff | annotate |
| Fri, 29 Jun 2018 19:50:03 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Fri, 29 Jun 2018 16:45:54 +0200 | wenzelm | command-line option for include_sessions; | file | diff | annotate |
| Fri, 29 Jun 2018 15:54:41 +0200 | wenzelm | disallow pending hyps; | file | diff | annotate |
| Fri, 29 Jun 2018 10:55:05 +0100 | Wenda Li | NEWS and CONTRIBUTORS | file | diff | annotate |