Yes. The main errors were things like “>” and broken “{@link …}” references.
But I have a script that detects paragraphs that are missing “<p>” and I
applied it to the files that had other javadoc errors.
> On Apr 27, 2017, at 12:52 AM, Jesus Camacho Rodriguez <[email protected]>
> wrote:
>
> Thanks Julian, I have seen that you also fixed some javadoc style (thought
> I had used <p> in all comments but apparently I missed a few).
>
> --
> Jesús
>
>
>
> On 4/26/17, 11:16 PM, "Julian Hyde" <[email protected]> wrote:
>
>> OK, fixed now.
>>
>>> On Apr 26, 2017, at 2:22 PM, Julian Hyde <[email protected]> wrote:
>>>
>>> Jesus' last commit had some javadoc errors ("mvn javadoc:javadoc
>>> javadoc:test-javadoc" under JDK 1.9). I am fixing them and will commit
>>> shortly.
>>
>>
>
