Page
Library
Module
Module type
Parameter
Class
Class type
Source
Down.SessionSourceManage 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.