3 ms·
Wish they'd put that up on Github or Bitbucket. There are so many things to be learned from that. I don't want to just download things or just use a tool (altho
by wheaties 12y ago
Wish they'd put that up on Github or Bitbucket. There are so many things to be learned from that. I don't want to just download things or just use a tool (although it's pretty awesome that they made the tool available.)
- vstolz 12y agoWhat are you looking for?
- wheaties 12y agoTo watch how change sets are going into the tool. To see what is being done and why as it happens. I find that one of the best ways to learn these things. Especially when it is theory heavy and watching the implementation congele around the theoretical framework.
- vstolz 12y agoSorry to keep following up, but we'd really like to know what we can improve -- into which tool? Are you talking about the KeY tool, or the various libraries they are now catching up on this issue?
- emmelaich 12y agoLooks like there is a clone on bitbucket, but it hasn't been updated in a while. https://bitbucket.org/adoptopenjdk https://bitbucket.org/adoptopenjdk