issues
search
FMFI-UK-1-AIN-412
/
workbook
First-order logic workbook
https://FMFI-UK-1-AIN-412.github.io/workbook/
0
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Expiracia autentifikacie do formalization checkera
#55
crnkjck
opened
2 months ago
0
Komponent na lightweight syntax highlighting formul
#54
crnkjck
opened
2 months ago
0
Performance improvements
#53
crnkjck
closed
2 months ago
0
Vyhladavanie repozitarov nefunguje
#52
crnkjck
opened
2 months ago
1
Viac pracovnych vetiev
#51
crnkjck
opened
2 months ago
0
Zobrazovat README
#50
crnkjck
opened
3 months ago
1
Upozornenie na nevhodnu vetvu
#49
crnkjck
opened
3 months ago
0
Komentare v harku → komentare v PR
#48
crnkjck
opened
3 months ago
0
Odovzdanie na jeden klik
#47
crnkjck
opened
3 months ago
2
Ochrana buniek pred editovaním
#46
crnkjck
opened
3 months ago
0
Odozva hárku
#45
4zzz
opened
1 year ago
0
Konfigurovatelne URI backendu kontrolora formalizacii
#44
crnkjck
opened
1 year ago
0
reload page when opening workbook
#43
4zzz
closed
4 months ago
0
Formalization checker integration
#42
crnkjck
closed
1 year ago
0
Attribute-injecting MD directive
#41
crnkjck
opened
1 year ago
0
Prepísanie obsahu jedného hárku druhým (workaround)
#40
crnkjck
opened
1 year ago
3
Stav tablovača sa nesynchronizuje pri všetkých zmenách
#39
crnkjck
opened
1 year ago
0
pre-semester-ui-improvements, disabled merge button when storage queue not idle, fixed commiting issue related to cached API results
#38
4zzz
closed
1 year ago
0
Pre-semester-ui-improvements
#37
crnkjck
closed
1 year ago
0
Updates
#36
4zzz
closed
1 year ago
2
show katex syntax error details
#35
4zzz
closed
1 year ago
0
Kopirovanie buniek
#34
crnkjck
closed
1 year ago
1
Vsetky prieskumniky zdielaju stav grafu
#33
crnkjck
closed
1 year ago
0
V prieskumniku nefunguje import
#32
crnkjck
opened
1 year ago
0
Spolocne KaTeXove makra
#31
crnkjck
opened
1 year ago
0
Rozšírenia `remark`-u
#30
crnkjck
closed
1 year ago
0
Boostrap Icons ako font
#29
crnkjck
closed
1 year ago
1
Doladenie layoutu
#28
crnkjck
closed
1 year ago
0
Počítadlá na automatické číslovanie nadpisov
#27
crnkjck
closed
1 year ago
0
rocnikovy projekt - zs
#26
4zzz
closed
1 year ago
0
Strata focusu pri commite
#25
crnkjck
closed
1 year ago
4
Bunky pre definíciu zdieľaných jazykov a teórií
#24
crnkjck
opened
2 years ago
0
Integrovať Formalization checker
#23
crnkjck
opened
2 years ago
0
Undo/Redo
#22
crnkjck
closed
1 year ago
1
Praca offline
#21
crnkjck
closed
1 year ago
1
Potvrdenie zmazania komentára
#20
4zzz
closed
1 year ago
1
Indikácia neuloženej zmeny v bunke
#19
4zzz
opened
2 years ago
1
Ikona zámku
#18
4zzz
closed
1 year ago
1
Formátovanie komentárov
#17
crnkjck
closed
1 year ago
2
Nová bunka by mala byť editovateľná a prázdna
#16
crnkjck
closed
1 year ago
4
Editovateľnosť viacerých buniek naraz
#15
crnkjck
closed
1 year ago
1
Zbytočné commity
#14
crnkjck
closed
1 year ago
1
Upozornenie na neuložené zmeny pri zatváraní okna
#13
4zzz
opened
2 years ago
2
Nemožnosť editácie textu pri určitej šírke okna
#12
4zzz
closed
2 years ago
1
Správanie hárku pri výpadku pripojenia na internet
#11
4zzz
closed
1 year ago
1
Editovanie komentárov
#10
crnkjck
closed
1 year ago
2
Študentský interface na rýchly prístup k workbooks
#9
crnkjck
opened
2 years ago
0
Učiteľský interface pre pull requesty do vybranej vetvy
#8
crnkjck
opened
2 years ago
0
HTML v markdowne
#7
crnkjck
closed
1 year ago
4
Pozadie po prvej obrazovke je sive
#6
crnkjck
closed
2 years ago
1
Next