You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Eli Barzilay b64868139a Changed @itemize{...} to @itemize[...] (done after comparing the doc ... tree and verifying that there are no changes). (Also fixed a few bugs that were in the code) svn: r14427 original commit: c0a8a0122200209e38dff1959d79b58f847814db		15 years ago
collects	Changed @itemize{...} to @itemize[...] (done after comparing the doc	15 years ago