diff options
Diffstat (limited to 'src/include/spadint.H1')
-rw-r--r-- | src/include/spadint.H1 | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/include/spadint.H1 b/src/include/spadint.H1 deleted file mode 100644 index e1ba6165..00000000 --- a/src/include/spadint.H1 +++ /dev/null @@ -1,25 +0,0 @@ -extern HyperDocPage * issue_server_command(HyperLink * link); -extern HyperDocPage * issue_unixlink(TextNode * node); -extern char * print_to_string(TextNode * command); -extern void issue_spadcommand(HyperDocPage * page , TextNode * command , int immediate , int type); -extern openaxiom_sio * accept_menu_connection(openaxiom_sio * server_sock); -extern char * print_to_string1(TextNode * command , int * sizeBuf); -extern int issue_serverpaste(TextNode * command); -extern void issue_unixcommand(TextNode * node); -extern int issue_unixpaste(TextNode * node); -extern void service_session_socket(void); -extern void send_lisp_command(char * command); -extern void escape_string(char * s); -extern void unescape_string(char * s); -extern char * print_source_to_string1(TextNode * command , int * sizeBuf); -extern char * print_source_to_string(TextNode * command); -#ifdef _SPADINT_C -static void start_user_buffer(HyperDocPage * page); -static void clear_execution_marks(HashTable * depend_hash); -static void issue_dependent_commands(HyperDocPage * page , TextNode * command , int type); -static void send_pile(openaxiom_sio * sock , char * str); -static void mark_as_executed(HyperDocPage * page , TextNode * command , int type); -static void accept_menu_server_connection(HyperDocPage * page); -static void switch_frames(void ); -static void close_client(int pid); -#endif |