--- shell.erl 2005-03-22 15:09:40.000000000 +0100 +++ shell.erl.new 2005-09-07 12:45:46.000000000 +0200 @@ -20,7 +20,8 @@ -export([start/0, start/1, start/2, server/1, server/2, history/1, results/1]). -export([whereis_evaluator/0, whereis_evaluator/1]). -export([start_restricted/1, stop_restricted/0]). - +-export([read_and_add_records/5, + record_print_fun/1]). -define(LINEMAX, 30). -define(DEF_HISTORY, 20). -define(DEF_RESULTS, 20).