diff src/builtins.h @ 181:91ec95436dca

[project @ 1993-10-23 22:45:17 by jwe]
author jwe
date Sat, 23 Oct 1993 22:45:51 +0000
parents e2c950dd96d2
children a99f28f5e351
line wrap: on
line diff
--- a/src/builtins.h	Sat Oct 23 22:45:17 1993 +0000
+++ b/src/builtins.h	Sat Oct 23 22:45:51 1993 +0000
@@ -28,6 +28,7 @@
 #pragma interface
 #endif
 
+class ostrstream;
 class Complex;
 struct help_list;
 
@@ -83,6 +84,14 @@
 extern help_list *builtin_text_functions_help (void);
 extern help_list *builtin_variables_help (void);
 
+extern int help_from_list (ostrstream& output_buf,
+			   const help_list *list, const char *string,
+			   int usage);
+
+extern void additional_help_message (ostrstream& output_buf);
+
+extern void print_usage (const char *s);
+
 #endif
 
 /*