/[svn]/Makefile.distrib
ViewVC logotype

Diff of /Makefile.distrib

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 541 by abate, Tue Jul 10 17:42:53 2007 UTC revision 542 by abate, Tue Jul 10 17:43:11 2007 UTC
# Line 62  Line 62 
62    
63  OBJECTS = \  OBJECTS = \
64   misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \   misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \
65   misc/pretty.cmo \   misc/pretty.cmo misc/ns.cmo \
66   \   \
67   types/sortedList.cmo types/boolean.cmo types/ident.cmo \   types/sortedList.cmo types/boolean.cmo types/ident.cmo \
68   types/intervals.cmo types/chars.cmo types/atoms.cmo \   types/intervals.cmo types/chars.cmo types/atoms.cmo \

Legend:
Removed from v.541  
changed lines
  Added in v.542

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5