- Remove {( )} inner brackets in LaTeX output.

This commit is contained in:
ccremers 2004-05-18 20:41:51 +00:00
parent 080d19a840
commit 1768b4abea

View File

@ -1,3 +1,4 @@
- Latex output has {( )} constructs: remove inner brackets.
- Move initial intruder knowledge maybe into the title of the MSC.
- Move time things to stderr instead of latex, does not belong in attack
output.