***
*** posledná zmena 9.2.2023 o 16.45
***

Tento text obsahuje stručné informácie o tom, 
ako si nainštalovať softvér CL (Clausal Language),
ktorý budeme používať na predmete
 1-AIN-470 Špecifikácia a verifikácia programov LS 2022/23
 http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/2223ls/?lang=sk
Inštrukcie sú pre OS Windows 10. 

*** 1. krok (prehliadač)

Na používanie CL je potrebné mať nainštalovaný prehliadač Mozilla Firefox 
od verzie 1.0 (slovenská verzia) alebo Seamonkey od verzie 1.7. 
Iné prehliadače nepodporujú dostatočne MathML, ktoré CL intenzívne využíva. 
Prehliadač je potrebné nainštalovať pred inštaláciou CL.

*** 2. krok (stiahnutie inštalátora CL)

Na tejto webovej stránke si stiahnite inštalátor CL:
 http://ii.fmph.uniba.sk/cl/view/download/?lang=sk
Zvolte si verziu:
- 5.81.21.2
  http://ii.fmph.uniba.sk/cl/view/download/5.81.21/CL-5.81.21.2-Setup.exe

*** 3. krok (inštalácia CL)

Inštalátor CL-5.81.21.2-Setup.exe spustite s právami administrátora a 
nechajte sa previesť nastavovacími krokmi k samotnej inštalácii.

Pri inštalácii dôjde k varovaniu
 CL Setup could not locate a Mozilla browser 
 (Firefox, Seamonkey) in Windows Registry. ...
Zvoľte si možnosť <Ignore>, 
čím sa umožní nájsť vhodný prehliadač manuálne.

Inštalátor ponukne možnosť
 C:\Program Files\Mozilla Firefox\firefox.exe
Zvoľte si ju, ak je to miesto, kde sa nachádza prehliadač Mozilla Firefox.
V opačnom prípade si vyberte vhodný prehliadač manuálne.

*** 4. krok (testovanie softvéru)

Na testovanie použite príklady z tohtorocneho 1. cvicenia:
 http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/2223ls/ex/ex01.tar.gz

***
***
***