issues
search
NorbertJu
/
ResolutionEditor
Bachelor thesis
GNU General Public License v3.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump gh-pages from 2.2.0 to 5.0.0
#23
dependabot[bot]
opened
6 months ago
0
Create LICENSE
#22
crnkjck
closed
4 years ago
1
Embedovateľná verzia
#21
crnkjck
opened
4 years ago
1
Kompaktnejšie zobrazenie dôkazu
#20
crnkjck
opened
4 years ago
0
Testovanie - dotazník
#19
NorbertJu
closed
4 years ago
10
Export & import
#18
crnkjck
closed
4 years ago
1
uprava validacie + precislovanie referencii
#17
NorbertJu
closed
4 years ago
0
Prečíslovanie referencií
#16
crnkjck
closed
4 years ago
0
Chyba pri kontrole rezolvencie
#15
crnkjck
closed
4 years ago
3
Klauzalizovanie teórie
#14
crnkjck
opened
4 years ago
0
Kontrola premenovani
#13
crnkjck
closed
4 years ago
1
Kontrola disjunktnosti roznych typov symbolov
#12
crnkjck
closed
4 years ago
1
Kontrola jednoznacnosti zobrazeni
#11
crnkjck
closed
4 years ago
1
Undo pre textove inputy
#10
crnkjck
closed
4 years ago
2
Overovanie pravidiel
#9
crnkjck
closed
4 years ago
1
Parser implementation with state refactoring
#8
NorbertJu
closed
4 years ago
2
Language & error components
#7
crnkjck
closed
4 years ago
1
Zmena implementacie generatorov
#6
NorbertJu
closed
4 years ago
0
InsertStep, MoveStep Up/Down
#5
NorbertJu
closed
4 years ago
0
Changes 191204, 191211
#4
crnkjck
closed
4 years ago
0
Zmeny pred stretnutim 191127
#3
crnkjck
closed
4 years ago
2
Návrhy a opravy zo stretnutia 6. novembra
#2
crnkjck
closed
4 years ago
0
Add files via upload
#1
NorbertJu
closed
4 years ago
0