--- 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).
