diff src/oct-hist.h @ 1755:3a9462b655f1

[project @ 1996-01-22 04:47:22 by jwe]
author jwe
date Mon, 22 Jan 1996 04:47:22 +0000
parents a02f140ed897
children 1881b2a7d1e2
line wrap: on
line diff
--- a/src/oct-hist.h	Mon Jan 22 04:47:00 1996 +0000
+++ b/src/oct-hist.h	Mon Jan 22 04:47:22 1996 +0000
@@ -24,14 +24,13 @@
 #if !defined (octave_octave_hist_h)
 #define octave_octave_hist_h 1
 
+#include <string>
+
 extern int default_history_size (void);
-extern char *default_history_file (void);
+extern string default_history_file (void);
 extern void initialize_history (void);
 extern void clean_up_history (void);
-extern void maybe_save_history (const char*);
-extern void do_history (int, char**);
-extern void do_edit_history (int, char**);
-extern void do_run_history (int, char**);
+extern void maybe_save_history (const string& s);
 extern int current_history_number (void);
 
 // Nonzero means input is coming from temporary history file.