equal
deleted
inserted
replaced
109 |> writeln |
109 |> writeln |
110 \<close> |
110 \<close> |
111 |
111 |
112 |
112 |
113 *** System *** |
113 *** System *** |
|
114 |
|
115 * Session directory $ISABELLE_HOME/src/Tools/Haskell provides some |
|
116 source modules for Isabelle tools implemented in Haskell, notably for |
|
117 Isabelle/PIDE. |
114 |
118 |
115 * Isabelle server command "use_theories" supports "nodes_status_delay" |
119 * Isabelle server command "use_theories" supports "nodes_status_delay" |
116 for continuous output of node status information. The time interval is |
120 for continuous output of node status information. The time interval is |
117 specified in seconds; a negative value means it is disabled (default). |
121 specified in seconds; a negative value means it is disabled (default). |
118 |
122 |