| Fri, 29 Jun 2018 22:14:33 +0200 | wenzelm | merged; | changeset | files |
| Fri, 29 Jun 2018 20:32:24 +0200 | wenzelm | VSCode extension for official Isabelle release; | changeset | files |
| Fri, 29 Jun 2018 20:11:17 +0200 | wenzelm | misc tuning and updates for release; | changeset | files |
| Fri, 29 Jun 2018 19:53:15 +0200 | wenzelm | more manual tests; | changeset | files |
| Fri, 29 Jun 2018 19:50:03 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Fri, 29 Jun 2018 16:53:37 +0200 | wenzelm | clarified error; | changeset | files |
| Fri, 29 Jun 2018 16:45:54 +0200 | wenzelm | command-line option for include_sessions; | changeset | files |
| Fri, 29 Jun 2018 15:54:41 +0200 | wenzelm | disallow pending hyps; | changeset | files |
| Fri, 29 Jun 2018 14:19:52 +0200 | wenzelm | disallow hyps in export; | changeset | files |
| Fri, 29 Jun 2018 14:02:14 +0200 | wenzelm | always consolidate: allow errors in presentation; | changeset | files |
| Fri, 29 Jun 2018 11:36:31 +0200 | wenzelm | proper build_heap; | changeset | files |
| Thu, 28 Jun 2018 21:05:56 +0200 | wenzelm | avoid pending shyps in global theory facts; | changeset | files |