reduce imports (#36)

Author: digama0

metamath.c

@@ -685,11 +685,7 @@
 
 
 #include <string.h>
-#include <stdio.h>
-#include <limits.h>
 #include <stdlib.h>
-#include <ctype.h>
-#include <stdarg.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mmcmdl.h"

mmcmdl.c

@@ -7,11 +7,6 @@
 /* Command line syntax specification for Metamath */
 
 #include <string.h>
-#include <stdio.h>
-#include <limits.h>
-#include <stdlib.h>
-#include <ctype.h>
-#include <stdarg.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mmcmdl.h"

mmcmds.c

@@ -7,12 +7,7 @@
 /* mmcmds.c - assorted user commands */
 
 #include <string.h>
-#include <stdio.h>
-#include <limits.h>
 #include <stdlib.h>
-#include <ctype.h>
-#include <stdarg.h>
-#include <time.h>  /* For clock() */
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mmcmdl.h" /* For g_texFileName */

mmdata.c

@@ -11,9 +11,6 @@ mmdata.c
 #include <stdarg.h>
 #include <stdlib.h>
 #include <string.h>
-#include <stdio.h>
-#include <time.h>
-#include <ctype.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mminou.h"
@@ -22,8 +19,6 @@ mmdata.c
 #include "mmpfas.h" /* Needed for g_proveStatement */
 #include "mmwtex.h" /* Needed for SMALL_DECORATION etc. */
 
-#include <limits.h>
-#include <setjmp.h>
 /*E*/long db=0,db0=0,db2=0,db3=0,db4=0,db5=0,db6=0,db7=0,db8=0,db9=0;
 flag g_listMode = 0; /* 0 = metamath, 1 = list utility */
 flag g_toolsMode = 0; /* In metamath: 0 = metamath, 1 = text tools utility */

mmhlpa.c

@@ -12,7 +12,6 @@
    as well as adding it here. */
 
 #include <string.h>
-#include <stdio.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mmcmds.h"

mmhlpb.c

@@ -10,7 +10,6 @@
    as well as adding it here. */
 
 #include <string.h>
-#include <stdio.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mmcmds.h"

mminou.c

@@ -5,13 +5,8 @@
 /*34567890123456 (79-character line to adjust editor window) 2345678901234567*/
 
 #include <string.h>
-#include <stdio.h>
-#include <limits.h>
 #include <stdlib.h>
-#include <ctype.h>
 #include <stdarg.h>
-#include <setjmp.h>
-#include <time.h>  /* For ELAPSED_TIME */
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mminou.h"

mmpars.c

@@ -5,12 +5,8 @@
 /*34567890123456 (79-character line to adjust editor window) 2345678901234567*/
 
 #include <string.h>
-#include <stdio.h>
-#include <limits.h>
 #include <stdlib.h>
 #include <ctype.h>
-#include <stdarg.h>
-#include <setjmp.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mminou.h"

mmpfas.c

@@ -7,13 +7,7 @@
 /* mmpfas.c - Proof assistant module */
 
 #include <string.h>
-#include <stdio.h>
-#include <limits.h>
 #include <stdlib.h>
-#include <ctype.h>
-#include <stdarg.h>
-#include <setjmp.h>
-#include <time.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mminou.h"

mmunif.c

@@ -100,14 +100,6 @@ Note:  i = 0 through g_hentyFilterSize-1 below.
 
 */
 
-#include <string.h>
-#include <stdio.h>
-#include <limits.h>
-#include <stdlib.h>
-#include <ctype.h>
-#include <stdarg.h>
-#include <setjmp.h>
-#include <time.h>
 #include "mmvstr.h"
 #include "mmdata.h"
 #include "mminou.h"