equal
deleted
inserted
replaced
325 even_of_nat ~> even_int_iff |
325 even_of_nat ~> even_int_iff |
326 |
326 |
327 INCOMPATIBILITY. |
327 INCOMPATIBILITY. |
328 |
328 |
329 |
329 |
|
330 *** ML *** |
|
331 |
|
332 * Operation Export.export emits theory exports (arbitrary blobs), which |
|
333 are stored persistently in the session build database. |
|
334 |
|
335 |
330 *** System *** |
336 *** System *** |
|
337 |
|
338 * The command-line tool retrieves theory exports from the session build |
|
339 database. |
331 |
340 |
332 * The command-line tools "isabelle server" and "isabelle client" provide |
341 * The command-line tools "isabelle server" and "isabelle client" provide |
333 access to the Isabelle Server: it supports responsive session management |
342 access to the Isabelle Server: it supports responsive session management |
334 and concurrent use of theories, based on Isabelle/PIDE infrastructure. |
343 and concurrent use of theories, based on Isabelle/PIDE infrastructure. |
335 See also the "system" manual. |
344 See also the "system" manual. |