| Sun, 23 Sep 2018 19:59:53 +0200 | wenzelm | discontinued old-style inner comments; | file | diff | annotate |
| Sun, 23 Sep 2018 13:45:37 +0200 | nipkow | News | file | diff | annotate |
| Sat, 08 Sep 2018 08:08:28 +0000 | haftmann | left-over rename from 3f9bb52082c4 | file | diff | annotate |
| Sun, 02 Sep 2018 21:22:52 +0200 | wenzelm | clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient; | file | diff | annotate |
| Sun, 02 Sep 2018 20:10:53 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Thu, 30 Aug 2018 18:40:53 +0200 | blanchet | updated URL to remote TPTP, following heads-up from Geoff Sutcliffe | file | diff | annotate |
| Mon, 27 Aug 2018 22:58:36 +0200 | wenzelm | some NEWS (instead of proper documentation); | file | diff | annotate |
| Sat, 25 Aug 2018 10:29:31 +0200 | wenzelm | retain original PolyML.pointerEq; | file | diff | annotate |
| Thu, 23 Aug 2018 17:09:39 +0000 | haftmann | simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility | file | diff | annotate |
| Sat, 18 Aug 2018 22:09:09 +0200 | wenzelm | optional notification of nodes_status (via progress); | file | diff | annotate |
| Sat, 11 Aug 2018 16:02:55 +0200 | wenzelm | merged; | file | diff | annotate |
| Wed, 01 Aug 2018 20:58:41 +0200 | wenzelm | isabelle build options -c -x -B refer to imports_graph; | file | diff | annotate |
| Sun, 29 Jul 2018 18:24:47 +0200 | wenzelm | merged | file | diff | annotate |
| Thu, 26 Jul 2018 15:19:56 +0200 | wenzelm | more flexible session selection as in "isabelle jedit"; | file | diff | annotate |
| Sun, 22 Jul 2018 21:04:49 +0200 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| 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 |