--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/toplev.h	Sun Aug 08 01:13:40 1993 +0000
@@ -0,0 +1,75 @@
+// octave.h                                              -*- C++ -*-
+/*
+
+Copyright (C) 1992, 1993 John W. Eaton
+
+This file is part of Octave.
+
+Octave is free software; you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by the
+Free Software Foundation; either version 2, or (at your option) any
+later version.
+
+Octave is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with Octave; see the file COPYING.  If not, write to the Free
+Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
+
+*/
+
+#if !defined (_octave_h)
+#define _octave_h 1
+
+#include <stdio.h>
+
+class tree;
+
+extern volatile void clean_up_and_exit (int);
+extern void parse_and_execute (char*, int);
+extern void parse_and_execute (FILE*, int);
+
+// argv[0] for this program.
+extern char *raw_prog_name;
+
+// Cleaned-up name of this program, not including path information.
+extern char *prog_name;
+
+// Login name for user running this program.
+extern char *user_name;
+
+// Name of the host we are running on.
+extern char *host_name;
+
+// User's home directory.
+extern char *home_directory;
+
+// Guess what?
+extern char *the_current_working_directory;
+
+// Load path specified on command line.
+extern char *load_path;
+
+// If nonzero, don't do fancy line editing.
+extern int no_line_editing;
+
+// Command number, counting from the beginning of this session.
+extern int current_command_number;
+
+// Nonzero means we are exiting via the builtin exit or quit functions.
+extern int quitting_gracefully;
+
+// Current command to execute.
+extern tree *global_command;
+
+#endif
+
+/*
+;;; Local Variables: ***
+;;; mode: C++ ***
+;;; page-delimiter: "^/\\*" ***
+;;; End: ***
+*/