equal
deleted
inserted
replaced
348 * Operation Export.export emits theory exports (arbitrary blobs), which |
348 * Operation Export.export emits theory exports (arbitrary blobs), which |
349 are stored persistently in the session build database. |
349 are stored persistently in the session build database. |
350 |
350 |
351 |
351 |
352 *** System *** |
352 *** System *** |
|
353 |
|
354 * Settings ISABELLE_PATH and ISABELLE_OUTPUT have been discontinued: |
|
355 heap images and session databases are always stored in |
|
356 $ISABELLE_HOME_USER/heaps/$ML_IDENTIFIER (command-line default) or |
|
357 $ISABELLE_HOME/heaps/$ML_IDENTIFIER (main Isabelle application or |
|
358 "isabelle jedit -s" or "isabelle build -s"). |
353 |
359 |
354 * The command-line tool retrieves theory exports from the session build |
360 * The command-line tool retrieves theory exports from the session build |
355 database. |
361 database. |
356 |
362 |
357 * The command-line tools "isabelle server" and "isabelle client" provide |
363 * The command-line tools "isabelle server" and "isabelle client" provide |