Document -ddump-rule-firings and -ddump-rule-rewrites
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 27 Nov 2010 12:35:28 +0000 (12:35 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 27 Nov 2010 12:35:28 +0000 (12:35 +0000)
commitd91240674cd45cb4677adca5829a1851ba3cd044
treebab21e83f1b77bbce4c11062f03804c69baee4a0
parent9c84f11b774960077d33d94a23ebc42af79d2ec4
Document -ddump-rule-firings and -ddump-rule-rewrites
docs/users_guide/debugging.xml
docs/users_guide/flags.xml
docs/users_guide/glasgow_exts.xml