--trace=muscles

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index f9db6f4bf63b8480bb59d727276fd24c7a42554a..404ef73df414f33917b6ed6c0eefd726223e6062 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2008-11-10  Akim Demaille  <demaille@gostai.com>
+
+       --trace=muscles
+       * src/getargs.h, src/getargs.c (trace_muscle): New.
+       (trace_types, trace_args): Support it.
+       * src/output.c (output_skeleton): Use it.
+
 2008-11-10  Akim Demaille  <demaille@gostai.com>
 
        muscles_output.