Page
Library
Module
Module type
Parameter
Class
Class type
Source
Down.Session
SourceManage sessions.
See the manual.
last_name ()
is the last session name that was used with any of the functions of this module; if any and still existing. Persisted accross ocaml
invocations.
list ()
lists available sessions.
load s
loads and executes session s
. If silent
is true
the result of phrases is not printed out (defaults to false
).
edit s
edits session s
in your editor. A session is created if s
does not exist.
of_file ~replace ~file s
takes the contents of file file
and stores it session s
. The function errors if s
exists; unless replace
is true
(defaults to false
).
Note. Unsaved recorded phrases are persisted across ocaml
sessions.
record
starts recording phrases.
stop
stops recording phrases.
revise ()
edits recorded phrases.
save s
saves recorded phrases to s
, stops recording and clears the recorded phrases. The function errors and the recorded phrases are kept intact if s
exists; unless replace
is true
(defaults to false
). See also append
.
append s
is like save
except it appends to s
or creates it if it does not exist.
steps ()
loads a session for stepping through manually via shift-{up,down}
(or C-x C-{p,n}
).
next_step ()
moves to the next step of the stepped session. Usually you do this via shift-down
or C-x C-n
.
prev_step ()
moves the previous step of the stepped session. Usually you do this via shift-up
or C-x C-p
.