-
david_v authored
* src/xtc/parse-detboxedsdf.str, * src/xtc/det-gen.str, * src/syn/DetBoxedSdf.sdf, * src/detgen/detgen.str: Add comment headers. * src/det2sdf/det2sdf.str: New. * src/det2sdf/Makefile.am: New. * src/xtc/pp-detboxedsdf.str: New. * src/pp/DetBoxedSdf-pretty.pp: New. * src/pp/Makefile.am: New. * configure.ac, * src/Makefile.am: Add new directories. * src/xtc/Makefile.am: Add new program.
055b5c1a