PřF:MCMTT Categorical models of type theory
Name
Posted by
Uploaded/Created
Rights
-
Co je jinak přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka Přidat. -
Co je jinak další operace se soubory
Podrobnosti lze zjistit označením příslušného řádku. -
Co je jinak pohled pro experty
Pro častou práci je možné zvolit režim Více možností. -
Co je nové vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do adresního řádku. -
Co je nové rychlý přístup k souborům
Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou. -
Co se chystá
Připravujeme další vylepšení pro mobilní zařízení.