Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-02 09:04:32 -0800 (Sat, 02 Jan 1999)
Revision: 2551
Log message:

      Fixed some linking problems with intern/extern.c when Ensemble
      is not included.
      

Changes	Path
+8 -3	metaprl/clib/Makefile
+1 -46	metaprl/clib/extern.c
Added	metaprl/clib/print_symbols.c
Properties	metaprl/clib/print_symbols.c
Added	metaprl/clib/print_symbols.h
Properties	metaprl/clib/print_symbols.h
+1 -2	metaprl/debug/debug_symbols.ml
+3 -1	metaprl/theories/tactic/tactic_type.ml