Search results

Markdown: Pridat admonitions

Status: Open.

#66 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Feb 25, 2026

Zlepšiť kontrolu správnej vetvy – pridať repo

Status: Open.

#65 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Feb 25, 2026

Refetch zoznamu vetiev

enhancementNew feature or requestNew feature or request

Status: Open.

#64 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Feb 25, 2026

Flexibilnejšie routovanie a prezeranie repozitára

Status: Open.

#62 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Feb 8, 2026

Čakajúce zmeny hneď po načítaní hárku s dokázanými teorémami

Status: Open.

#61 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Feb 8, 2026

Pop-overs su pokazené, nemohli by byť menu?

bugSomething isn't workingSomething isn't working

Status: Open.

#60 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Feb 8, 2026

Pridat atribut counter do :xref

enhancementNew feature or requestNew feature or request

Status: Open.

#56 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Mar 3, 2025

Expiracia autentifikacie do formalization checkera

Status: Open.

#55 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on May 20, 2024

Komponent na lightweight syntax highlighting formul

enhancementNew feature or requestNew feature or request

Status: Open.

#54 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on May 15, 2024

Vyhladavanie repozitarov nefunguje

bugSomething isn't workingSomething isn't working

low priority

questionFurther information is requestedFurther information is requested

Status: Open.

#52 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on May 2, 2024

Komentare v harku → komentare v PR

enhancementNew feature or requestNew feature or request

Status: Open.

#48 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Apr 4, 2024

Ochrana buniek pred editovaním

enhancementNew feature or requestNew feature or request

Status: Open.

#46 In FMFI-UK-1-AIN-412/workbook;

· crnkjck opened on Mar 25, 2024