#include <basix/system.hpp>
#include <basix/string.hpp>
#include <basix/list.hpp>
#include <basix/table.hpp>
#include <basix/math_syntax.hpp>
#include <basix/parse_tools.hpp>
#include <basix/basix-config.hpp>
#include <unistd.h>
#include <readline/readline.h>
#include <readline/history.h>
Go to the source code of this file.
#define DATA_BEGIN ((char) 2) |
Definition at line 39 of file terminal_interface.cpp.
#define DATA_END ((char) 5) |
Definition at line 40 of file terminal_interface.cpp.