~ubuntu-branches/ubuntu/hardy/texmacs/hardy

« back to all changes in this revision

Viewing changes to TeXmacs/doc/main/interface/man-session-basic.en.tm

  • Committer: Bazaar Package Importer
  • Author(s): Ralf Treinen
  • Date: 2004-04-19 20:34:00 UTC
  • Revision ID: james.westby@ubuntu.com-20040419203400-g4e34ih0315wcn8v
Tags: upstream-1.0.3-R2
ImportĀ upstreamĀ versionĀ 1.0.3-R2

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
<TeXmacs|1.0.1.21>
 
2
 
 
3
<style|tmdoc>
 
4
 
 
5
<\body>
 
6
  <expand|tmdoc-title|Creating sessions>
 
7
 
 
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.
 
13
 
 
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.
 
19
 
 
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.
 
27
 
 
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.
 
34
 
 
35
  <apply|tmdoc-copyright|1998--2002|Joris van der Hoeven>
 
36
 
 
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".>
 
43
</body>
 
44
 
 
45
<\initial>
 
46
  <\collection>
 
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>
 
60
  </collection>
 
61
</initial>
 
62
 
 
63
<\references>
 
64
  <\collection>
 
65
    <associate|idx-1|<tuple|<uninit>|?>>
 
66
    <associate|idx-2|<tuple|<uninit>|?>>
 
67
    <associate|idx-3|<tuple|<uninit>|?>>
 
68
    <associate|idx-4|<tuple|<uninit>|?>>
 
69
  </collection>
 
70
</references>
 
71
 
 
72
<\auxiliary>
 
73
  <\collection>
 
74
    <\associate|idx>
 
75
      <tuple|<tuple|<with|font family|<quote|ss>|Text>|<with|font
 
76
      family|<quote|ss>|Session>>|<pageref|idx-1>>
 
77
 
 
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>>
 
81
    </associate>
 
82
  </collection>
 
83
</auxiliary>