-
david_v authored
* src/syn/Makefile.am: Use stratego-regular to generate the signature. * src/syn/DetBoxedSdf.str: Delete. 2004-05-04 Valentin David <valentin@lrde.epita.fr>
9645c551
* src/syn/Makefile.am: Use stratego-regular to generate the signature. * src/syn/DetBoxedSdf.str: Delete. 2004-05-04 Valentin David <valentin@lrde.epita.fr>