[ xdoc | info ]  user 0 system 0
[ xdoc | info ] Parsing libstratego-rtg/stratego-rtg.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/format-check.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/signature.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/simplify.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/determinize.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/parse.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/util.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/reduce.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/dfta-format-check.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/normalize.str
[ xdoc | info ] Parsing libstratego-rtg/stratego/rtg/dfta-accept.str
[ xdoc | info ]  user 4.0999999999999996 system 0.88
[ xdoc | info ]  user 1.1200000000000001 system 0.040000000000000001
[ 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/format-check.str
[ xdoc-code | info ] Generating code html for file stratego/rtg/signature.str
[ xdoc-code | info ] Generating code html for file stratego/rtg/simplify.str
[ xdoc-code | info ] Generating code html for file stratego/rtg/determinize.str
[ xdoc-code | info ] Generating code html for file stratego/rtg/parse.str
[ xdoc-code | info ] Generating code html for file stratego/rtg/util.str
[ xdoc-code | info ] Generating code html for file stratego/rtg/reduce.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/normalize.str
[ xdoc-code | info ] Generating code html for file stratego/rtg/dfta-accept.str
[ xdoc | info ]  user 2.8199999999999998 system 0.28000000000000003
[ xdoc-api | info ] Copying stylesheet and other files
[ xdoc | info ]  user 11.92 system 0.5
[ xdoc | info ] Copying stylesheet and other files