| Mon, 13 Jun 2022 11:48:46 +0200 | wenzelm | clarified options of "isabelle hg_sync" vs. "isabelle sync"; | changeset | files |
| Mon, 13 Jun 2022 11:35:00 +0200 | wenzelm | tuned layout; | changeset | files |
| Mon, 13 Jun 2022 11:31:59 +0200 | wenzelm | misc tuning; | changeset | files |
| Mon, 13 Jun 2022 11:10:39 +0200 | wenzelm | clarified document structure; | changeset | files |