FriCAS Code
Brought to you by:
whebisch
extern ButtonList * alloc_button_list(void); extern CondNode * alloc_condnode(void); extern HDWindow * alloc_hd_window(void); extern IfNode * alloc_ifnode(void); extern InputBox * alloc_inputbox(void); extern LineStruct * alloc_inputline(int size); extern TextNode * alloc_node(void); extern HyperDocPage * alloc_page(char * name); extern PasteNode * alloc_paste_node(char * name); extern RadioBoxes * alloc_rbs(void); extern void free_button_list(ButtonList * bl); extern void free_hd_window(HDWindow * w); extern void free_input_item(InputItem * sym, short des); extern void free_input_list(InputItem * il); extern void free_node(TextNode * node, short des); extern void free_page(HyperDocPage * page); extern void free_patch(PatchStore * p); extern void free_string(char * str); extern char * resizeBuffer(int size, char * oldBuf, int * oldSize); extern PatchStore * alloc_patchstore(void);