#include <history.h>get_history(instr)put_history(outstr)app_history (s)string *ask_history()reset_history() void set_headline(s)string ask_headline() stream instr, outstr;string s;
get_history() appends history from a file instr (assumed to be in filestruct(5NEMO) format) to the internal history buffer. This is usually one of the first things a program should do before other input is attempted, as the data history is normally prepended to the data.
A program can add (append) arbitrary history by calling app_history(), where s points to the string to be added.
put_history() writes the current history to an output file outstr. If any headline had been set, it will also be written.
ask_history() returns a pointer to a NULL terminated array of strings that contain the full history status.
set_headline() is an old way to add user supplied to the history database. Only one string can be hold here. It is added to the data history when put_history is called.
ask_headline() returns the headline string, which would be output
~/src/kernel/io history.[ch] ~/inc history.h
9-mar-88 V1.0 created Peter Teuben 1-jun-88 V1.1 adapted to new filestruct, renamed names PJT 14-jun-88 V1.3 integrate at IAS, changed _hist to _history JEB 9-oct-90 V1.8b upgraded manual page PJT 7-may-92 V1.9 documented name change add_ to app_ PJT