Pull Request by thomiblitz · Pull Request #1 · thomiblitz/Java-Geometry-Expert · GitHub
Skip to content

Pull Request#1

Open
thomiblitz wants to merge 294 commits into
thomiblitz:masterfrom
kovzol:master
Open

Pull Request#1
thomiblitz wants to merge 294 commits into
thomiblitz:masterfrom
kovzol:master

Conversation

@thomiblitz

Copy link
Copy Markdown
Owner

No description provided.

kovzol and others added 30 commits November 3, 2023 14:04
Add the copyright disclaimer

Co-authored-by: Zheng <yezheng@gmail.com>
* First commit. Import ggb file. Basic functionality

* Remove binary

* Add GGB examples, change version date

---------

Co-authored-by: Alex <alex.t@gmx.at>
Traumlos and others added 30 commits March 28, 2025 00:37
Update to Traumlos' superficial refactors on math, gprover and wprover
changed getFirst() to get(0), as getFirst() is only supported from java 21 onwards
- escaped special characters for html
- warnings are still in place
Traumlos' changes to fix the Javadoc
-moved the docs folder into java-directory
-instead of gradle setting file paths we do it by hand to make it accessible for cheerpj jvm as well
-example files are loaded
-some workarounds are in place for the help window
-some features might still not be working and/or crashing the application
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

Successfully merging this pull request may close these issues.

7 participants