• [ xdoc | info ] user 0.02 system 0
• [ xdoc | info ] Parsing libstratego-rtg/stratego-rtg.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/util.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/simplify.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/signature.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/reduce.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/parse.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/normalize.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/format-check.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/dfta-format-check.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/dfta-accept.str
• [ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/determinize.str
• [ xdoc | info ] user 4.3499999999999996 system 1.01
• [ xdoc | info ] user 1.1899999999999999 system 0.10000000000000001
• [ xdoc-code | info ] Processing info
• [ xdoc-code | info ] Copying stylesheet and other files
• [ xdoc-code | info ] Generating code browser
• [ xdoc-code | info ] Generating code html for file stratego-rtg.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/util.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/simplify.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/signature.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/reduce.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/parse.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/normalize.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/format-check.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/dfta-format-check.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/dfta-accept.str
• [ xdoc-code | info ] Generating code html for file stratego/rtg/determinize.str
• [ xdoc | info ] user 3.04 system 0.32000000000000001
• [ xdoc-api | info ] Copying stylesheet and other files
• [ xdoc | info ] user 12.6 system 0.53000000000000003
• [ xdoc | info ] Copying stylesheet and other files