equal
deleted
inserted
replaced
262 Zstd.compress: Bytes.T -> Bytes.T |
262 Zstd.compress: Bytes.T -> Bytes.T |
263 Zstd.uncompress: Bytes.T -> Bytes.T |
263 Zstd.uncompress: Bytes.T -> Bytes.T |
264 |
264 |
265 |
265 |
266 *** System *** |
266 *** System *** |
|
267 |
|
268 * Session builds observe dependency of options that contribute to the |
|
269 formal content. This is determined via option tags specified in |
|
270 etc/options, notably "content" or "document". A change of relavant |
|
271 session options causes a fresh build. For example: |
|
272 |
|
273 isabelle build -o show_types FOL |
|
274 isabelle build FOL |
267 |
275 |
268 * The command-line tool "isabelle update" is now directly based on |
276 * The command-line tool "isabelle update" is now directly based on |
269 "isabelle build" instead of "isabelle dump". Thus it has become more |
277 "isabelle build" instead of "isabelle dump". Thus it has become more |
270 scalable, and supports most options from "isabelle build". Partial |
278 scalable, and supports most options from "isabelle build". Partial |
271 builds are supported as well, e.g. "isabelle update -n -a". |
279 builds are supported as well, e.g. "isabelle update -n -a". |