4 ms·

What are you looking for?

• wheaties 12y ago
  To 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 ago
    Sorry 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 ago
    Looks like there is a clone on bitbucket, but it hasn't been updated in a while. https://bitbucket.org/adoptopenjdk https://bitbucket.org/adoptopenjdk