products/sources/formale sprachen/Coq/theories/Reals/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Arith2.thy   Sprache: Isabelle

Original von: Lyx©
/** Header file generated with fdesign on Wed Jan 27 15:30:37 1999.**/

#ifndef FD_xsendfax_h_
#define FD_xsendfax_h_

/** Callbacks, globals and object handlers **/
extern void FaxSendCB(FL_OBJECT *, long);
extern void FaxCancelCB(FL_OBJECT *, long);
extern void FaxApplyCB(FL_OBJECT *, long);
extern void FaxOpenPhonebookCB(FL_OBJECT *, long);
extern void cb_add_phoneno(FL_OBJECT *, long);
extern void cb_delete_phoneno(FL_OBJECT *, long);
extern void cb_save_phoneno(FL_OBJECT *, long);

extern void cb_select_phoneno(FL_OBJECT *, long);

extern void FaxLogfileCloseCB(FL_OBJECT *, long);


/**** Forms and Objects ****/
typedef struct {
 FL_FORM *xsendfax;
 void *vdata;
 char *cdata;
 long  ldata;
 FL_OBJECT *Input_Phone;
 FL_OBJECT *Input_Name;
 FL_OBJECT *Input_Enterprise;
 FL_OBJECT *Input_Comment;
 FL_OBJECT *Button_Send;
 FL_OBJECT *Button_Cancel;
 FL_OBJECT *Button_Apply;
 FL_OBJECT *Button_SPhone;
 FL_OBJECT *pb_save;
} FD_xsendfax;

extern FD_xsendfax * create_form_xsendfax(void);
typedef struct {
 FL_FORM *phonebook;
 void *vdata;
 char *cdata;
 long  ldata;
 FL_OBJECT *browser;
} FD_phonebook;

extern FD_phonebook * create_form_phonebook(void);
typedef struct {
 FL_FORM *logfile;
 void *vdata;
 char *cdata;
 long  ldata;
 FL_OBJECT *browser;
 FL_OBJECT *Button_Close;
} FD_logfile;

extern FD_logfile * create_form_logfile(void);

#endif /* FD_xsendfax_h_ */

¤ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff