00001 /* 00002 00003 Copyright (C) 1993-2012 John W. Eaton 00004 00005 This file is part of Octave. 00006 00007 Octave is free software; you can redistribute it and/or modify it 00008 under the terms of the GNU General Public License as published by the 00009 Free Software Foundation; either version 3 of the License, or (at your 00010 option) any later version. 00011 00012 Octave is distributed in the hope that it will be useful, but WITHOUT 00013 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 00014 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 00015 for more details. 00016 00017 You should have received a copy of the GNU General Public License 00018 along with Octave; see the file COPYING. If not, see 00019 <http://www.gnu.org/licenses/>. 00020 00021 */ 00022 00023 #if !defined (octave_octave_hist_h) 00024 #define octave_octave_hist_h 1 00025 00026 #include <string> 00027 00028 #include "cmd-hist.h" 00029 00030 extern void initialize_history (bool read_history_file = false); 00031 00032 // Write timestamp to history file. 00033 extern void octave_history_write_timestamp (void); 00034 00035 // TRUE means input is coming from temporary history file. 00036 extern bool input_from_tmp_history_file; 00037 00038 #endif
1.7.1
