FMFI-UK-1-AIN-412 / formalization-checker-backend

The back end of a tool for checking formalization exercises.
GNU General Public License v3.0
0 stars 5 forks source link

Zafixovať poradie výrokov #16

Open crnkjck opened 2 years ago

crnkjck commented 2 years ago

Výroky sa občas uložia do DB v inom poradí, ako boli zapísané v editore. Malo by sa zaviesť explicitné poradie a umožniť preusporiadavanie výrokov.