| 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 |
| Sat, 11 Jun 2022 22:55:21 +0200 | wenzelm | promote "isabelle sync" to regular user-space tool, with proper documentation; | changeset | files |
| Sat, 11 Jun 2022 20:45:14 +0200 | wenzelm | more comments; | changeset | files |
| Fri, 10 Jun 2022 23:53:09 +0200 | wenzelm | more options; | changeset | files |
| Fri, 10 Jun 2022 21:05:31 +0200 | wenzelm | sync session images, based on accidental local state; | changeset | files |