issues
search
kovzol
/
Java-Geometry-Expert
Java Geometry Expert
Other
30
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
geometric symbols are still displaying as garbled characters
#38
wwkkbb
opened
5 days ago
1
Request to Add Support for User-Customizable Rules in Ruleset
#37
LitDarkness
opened
4 months ago
1
Not able to prove Pappus theorem
#36
AlexVujic
opened
6 months ago
0
Font styles won't be saved
#35
AlexVujic
opened
6 months ago
0
Help on Mode / Help on current Tool is not opening
#34
AlexVujic
opened
6 months ago
1
One of the variable is labeled as 'x5^2'.
#33
AlexVujic
opened
8 months ago
0
One of the variable is labeled as
#32
AlexVujic
closed
8 months ago
0
Add command line options to obtain a proof
#31
kovzol
closed
4 months ago
0
Construction protocol description steps are saved in the .gex file and cannot be changed
#30
kovzol
opened
10 months ago
0
Clean up source code
#29
kovzol
opened
10 months ago
0
Disallow ENTER in object names
#28
kovzol
opened
10 months ago
0
Update help files
#27
kovzol
opened
11 months ago
0
Update grapher-support to version 1.2.0
#26
kovzol
opened
11 months ago
0
Mac zip_package ant task requires command line for pack4r
#25
kovzol
closed
11 months ago
1
G import
#24
kovzol
closed
1 year ago
0
First commit. Import ggb file. Basic functionality
#23
kovzol
closed
1 year ago
0
Use Gradle instead of Ant
#22
kovzol
closed
12 months ago
0
Create Copyright
#21
kovzol
closed
1 year ago
0
No help is shown for mode "line"
#20
kovzol
opened
1 year ago
0
Help menu items are not shown in a web browser in the snap version
#19
kovzol
opened
1 year ago
1
HTML help is not properly shown on GitHub
#18
kovzol
opened
1 year ago
0
Create Copyright
#17
kovzol
closed
1 year ago
0
Add license information
#16
meskobalazs
closed
1 year ago
1
Update Serbian.lan
#15
kovzol
closed
1 year ago
0
to name some rules, if possible
#14
AmelaHota
opened
1 year ago
1
Add upper-austrian dialect
#13
ddeixler
opened
1 year ago
1
Explanation also in German
#12
simonel97
opened
1 year ago
1
Add Spanish language
#11
CorinnaFe
opened
1 year ago
1
Saving as PDF
#10
thomiblitz
closed
1 year ago
2
Update User Interface
#9
sametsreiter
opened
1 year ago
2
Add a tutorial Video on first Startup
#8
Teaowner
opened
1 year ago
1
Add language French
#7
bpbp1999
closed
1 year ago
2
Tutorial / Onboarding Tour
#6
StefanPechhacker
opened
1 year ago
0
The ant compilation is very slow
#5
kovzol
closed
1 year ago
2
Distinguish between trivial and non-trivial features
#4
kovzol
opened
1 year ago
0
Consider adding an option to select from different user interfaces
#3
kovzol
opened
1 year ago
0
Using the new version of the translation by Stefan
#2
kovzol
closed
1 year ago
0
German language support
#1
kovzol
closed
1 year ago
0