| 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 |
| Wed, 27 Jun 2018 20:31:22 +0200 | wenzelm | clarified settings -- avoid hard-wired directories; | file | diff | annotate |
| Wed, 27 Jun 2018 11:16:43 +0200 | immler | example for Types_To_Sets: transfer from type-based linear algebra to subspaces | file | diff | annotate |
| Tue, 26 Jun 2018 19:29:14 +0200 | wenzelm | merged | file | diff | annotate |
| Tue, 26 Jun 2018 19:16:14 +0200 | wenzelm | updated documentation; | file | diff | annotate |
| Tue, 26 Jun 2018 14:51:18 +0100 | paulson | Rationalisation of complex transcendentals, esp the Arg function | file | diff | annotate |
| Fri, 22 Jun 2018 20:31:49 +0200 | wenzelm | clarified document antiquotation @{theory}; | file | diff | annotate |
| Wed, 20 Jun 2018 11:51:47 +0200 | wenzelm | clarified documentation; | file | diff | annotate |
| Tue, 19 Jun 2018 21:02:32 +0200 | ballarin | In interpretation commands, clarify what to do with definitions immediately subject to rewriting. | file | diff | annotate |
| Mon, 18 Jun 2018 15:56:03 +0100 | paulson | corrections to markup | file | diff | annotate |
| Fri, 15 Jun 2018 10:45:12 +0200 | nipkow | Map.empty now qualified to avoid name clashes | file | diff | annotate |
| Wed, 06 Jun 2018 18:20:03 +0200 | nipkow | merged | file | diff | annotate |
| Wed, 06 Jun 2018 18:19:55 +0200 | nipkow | reorient -> split; documented split | file | diff | annotate |