Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to java-cup-11b-20160615 #7

Closed
romildo opened this issue Jul 19, 2016 · 4 comments
Closed

Update to java-cup-11b-20160615 #7

romildo opened this issue Jul 19, 2016 · 4 comments

Comments

@romildo
Copy link

romildo commented Jul 19, 2016

There is a new release of CUP. Please update the plugin to this release.

@vbmacher
Copy link
Owner

vbmacher commented Aug 3, 2016

Hello, thanks for pointing out. I hope I get to it in a week or two.

vbmacher pushed a commit that referenced this issue Aug 11, 2016
vbmacher pushed a commit that referenced this issue Aug 11, 2016
@vbmacher
Copy link
Owner

vbmacher commented Aug 11, 2016

I've deployed newest artifacts. We've got to wait for a day or two to Maven central updates database. I'll close the issue then.

However it seems they didn't update everything. For example, their site is still out of date. E.g., http://www2.cs.tum.edu/projects/cup/licence.php (1996-2015?), also it does not seem they've updated the documentation, nor the release notes (http://www2.cs.tum.edu/repos/cup/develop/changelog.txt - last version by now is 20151001).

Do you know what is new and how to use it? Or are you aware of any bugs to be hoping to be solved by the new version?

@romildo
Copy link
Author

romildo commented Aug 11, 2016

I don't know.

It is working for me.

@vbmacher
Copy link
Owner

Ok, never mind. Now the plugin is in Maven central, Im closing the issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants