projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b57e877) | patch
Add doc to Kind.java (#6498)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Mon, 10 May 2021 12:18:32 +0000 (07:18 -0500)
committerGitHub <noreply@github.com>
Mon, 10 May 2021 12:18:32 +0000 (14:18 +0200)
commitce1acb3e31769e1ccb66075fe3b2151acae58ce6
tree396b296601845a8918960a9c4f94c409f90bd4cetree
parentb57e877b88dec0328ff9adb89062053e84f2b616commit | diff
Add doc to Kind.java (#6498)

This PR adds documentation to java kinds.
src/api/java/genkinds.py.in diff | blob | history