1 files changed, 48 insertions, 0 deletions
diff --git a/src/cmd/proof/proof.h b/src/cmd/proof/proof.h
new file mode 100644
index 00000000..73f39b8c
--- /dev/null
+++ b/src/cmd/proof/proof.h
@@ -0,0 +1,48 @@
+#include <cursor.h>
+#undef isspace
+#define	NPAGES	500
+#define NFONT	33
+#define NSIZE	40
+#define MINSIZE 4
+#define	DEFMAG	(10.0/11.0)	/* was (10.0/11.0), then 1 */
+#define MAXVIEW 40
+
+#define	ONES	~0
+
+extern	char	devname[];
+extern	double	mag;
+extern	int	nview;
+extern	int	hpos, vpos, curfont, cursize;
+extern	int	DIV, res;
+extern	int	Mode;
+
+extern	Point	offset;		/* for small pages within big page */
+extern	Point	xyoffset;	/* for explicit x,y move */
+extern	Cursor	deadmouse;
+
+extern	char	*libfont;
+
+void	mapscreen(void);
+void	clearscreen(void);
+char	*getcmdstr(void);
+
+void	readmapfile(char *);
+void	dochar(Rune*);
+void	bufput(void);
+void	loadfontname(int, char *);
+void	allfree(void);
+void	readpage(void);
+int	isspace(int);
+
+extern	int	getc(void);
+extern	int	getrune(void);
+extern	void	ungetc(void);
+extern	ulong	offsetc(void);
+extern	ulong	seekc(ulong);
+extern	char*	rdlinec(void);
+
+
+#define	dprint	if (dbg) fprint
+
+extern	int	dbg;
+extern	int	resized;