6
<expand|tmdoc-title|Creating sessions>
8
A session can be started from the <apply|menu|Text|Session> menu. A session
9
consists of a sequence of input and output fields and possible text between
10
them. When pressing <key|<expand|key-return>> inside an input field of a
11
session, the text inside the environment is evaluated and the result is
12
displayed in an output field.
14
When entering a command in a session, the application attempts to execute
15
it. Several commands may be launched concurrently in the same document, but
16
the output will only be active in the session where the cursor is and at
17
the place of the cursor. Therefore, we recommend to use different buffers
18
for parallel executions.
20
For each type of extern application, one may choose between sharing a
21
single process by different sessions, or launching a separate process for
22
each different session. More precisely, when inserting a session using
23
<apply|menu|Text|Session|Other>, you may specify both a ``session type''
24
(Shell, Pari, Maxima, <abbr|etc.>) and a ``session name'' (the default name
25
is ``default''). Sessions with different names correspond to different
26
processes and sessions with the same name share a common process.
28
In order to finish the process which underlies a given session, you may use
29
<apply|menu|Session|Close session>. When pressing <key|<expand|key-return>>
30
in the input of a non-connected system, the system will be restarted
31
automatically. You may also use <apply|menu|Session|Interrupt execution> in
32
order to interrupt the execution of a command. However, several
33
applications do not support this feature.
35
<apply|tmdoc-copyright|1998--2002|Joris van der Hoeven>
37
<expand|tmdoc-license|Permission is granted to copy, distribute and/or
38
modify this document under the terms of the GNU Free Documentation License,
39
Version 1.1 or any later version published by the Free Software Foundation;
40
with no Invariant Sections, with no Front-Cover Texts, and with no
41
Back-Cover Texts. A copy of the license is included in the section entitled
42
"GNU Free Documentation License".>
47
<associate|paragraph width|150mm>
48
<associate|odd page margin|30mm>
49
<associate|shrinking factor|4>
50
<associate|page right margin|30mm>
51
<associate|page top margin|30mm>
52
<associate|reduction page right margin|25mm>
53
<associate|page type|a4>
54
<associate|reduction page bottom margin|15mm>
55
<associate|even page margin|30mm>
56
<associate|reduction page left margin|25mm>
57
<associate|page bottom margin|30mm>
58
<associate|reduction page top margin|15mm>
59
<associate|language|english>
65
<associate|idx-1|<tuple|<uninit>|?>>
66
<associate|idx-2|<tuple|<uninit>|?>>
67
<associate|idx-3|<tuple|<uninit>|?>>
68
<associate|idx-4|<tuple|<uninit>|?>>
75
<tuple|<tuple|<with|font family|<quote|ss>|Text>|<with|font
76
family|<quote|ss>|Session>>|<pageref|idx-1>>
78
<tuple|<tuple|<with|font family|<quote|ss>|Text>|<with|font
79
family|<quote|ss>|Session>|<with|font
80
family|<quote|ss>|Other>>|<pageref|idx-2>>