| Sun, 20 Jan 2019 17:15:49 +0000 | haftmann | dedicated combinator for declarations nested in a local theory block | changeset | files |
| Sun, 20 Jan 2019 17:15:47 +0000 | haftmann | more conventional parsing of code_stmts antiquotation | changeset | files |
| Sun, 20 Jan 2019 17:14:35 +0000 | haftmann | more conventional syntax for code_stmts antiquotation | changeset | files |
| Sun, 20 Jan 2019 21:26:15 +0100 | wenzelm | avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts; | changeset | files |
| Sat, 19 Jan 2019 20:40:17 +0000 | haftmann | algebraized more material from theory Divides | changeset | files |
| Sat, 19 Jan 2019 20:31:00 +0100 | wenzelm | tuned output; | changeset | files |
| Sat, 19 Jan 2019 20:18:26 +0100 | wenzelm | more official AFP.groups; | changeset | files |
| Sat, 19 Jan 2019 19:16:58 +0100 | wenzelm | auto-update for some experimental components; | changeset | files |