[cvs-nhc98] cvs commit: hat/src/hattools NonTermLib.hs nontermutils.h

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Nov 22 08:06:04 EST 2005


malcolm     2005/11/22 05:06:04 PST

  Modified files:
    src/hattools         NonTermLib.hs nontermutils.h 
  Log:
  Fix more foreign imports to mention the appropriate header file.
  
  Revision  Changes    Path
  1.7       +6 -6      hat/src/hattools/NonTermLib.hs
  1.4       +5 -0      hat/src/hattools/nontermutils.h


More information about the Cvs-nhc98 mailing list