equal
deleted
inserted
replaced
302 Zstd.compress: Bytes.T -> Bytes.T |
302 Zstd.compress: Bytes.T -> Bytes.T |
303 Zstd.uncompress: Bytes.T -> Bytes.T |
303 Zstd.uncompress: Bytes.T -> Bytes.T |
304 |
304 |
305 |
305 |
306 *** System *** |
306 *** System *** |
|
307 |
|
308 * Remote SSH host of "isabelle hg_sync" and "isabelle sync" now works |
|
309 via options -s, -p, -u. The TARGET argument is a plain file-system path |
|
310 in Isabelle notation, no longer an rsync target (host:directory). Minor |
|
311 INCOMPATIBILITY of command-line syntax. |
307 |
312 |
308 * System option "build_through" determines if session builds should |
313 * System option "build_through" determines if session builds should |
309 observe dependency of options that contribute to the formal content. |
314 observe dependency of options that contribute to the formal content. |
310 This is specified via option tags given in etc/options (e.g. see |
315 This is specified via option tags given in etc/options (e.g. see |
311 "isabelle options -l -t content,document"). A change of such options |
316 "isabelle options -l -t content,document"). A change of such options |