Wed, 04 Dec 2019 20:25:21 +0000 | haftmann | regular merge with no historization, in accordance with regular update | changeset | files |
Wed, 04 Dec 2019 23:11:29 +0100 | nipkow | moved starlike where it belongs | changeset | files |
Wed, 04 Dec 2019 19:55:30 +0100 | wenzelm | merged | changeset | files |
Wed, 04 Dec 2019 19:40:22 +0100 | wenzelm | clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many small messages stacking up, e.g. when loading HOL-Analysis.Analysis.thy into Isabelle/jEdit; | changeset | files |
Wed, 04 Dec 2019 18:28:24 +0100 | nipkow | moved segment lemmas where they belong | changeset | files |
Wed, 04 Dec 2019 15:36:58 +0100 | nipkow | merged | changeset | files |
Wed, 04 Dec 2019 14:12:59 +0100 | nipkow | moved lemmas | changeset | files |