Uwagi do samodzielnej instalacji systemu Mizar:

• Instalacja systemu Mizar w Windows.
  1. ÅšciÄ…gnij samorozpakowywujÄ…ce archiwum wybierajÄ…c download w sekcji Oprogramowanie.
  2. Uruchom konsolę poleceń i przejdź do kartoteki ze ściągniętym archiwum.
  3. Uruchom ściągnięty program w celu odpakowania.
  4. Uruchom makro instalacyjne wpisujac w linii poleceÅ„ np. INSTALL C:\MIZAR (C:\MIZAR oznacza tu Å›cieżkÄ™, gdzie ma zostać zainstalowany system Mizar).
  5. Dodaj kartotekę z systemem Mizar do zmiennej środowiskowej PATH.
  6. Ustaw zmienną środowiskową o nazwie MIZFILES tak, aby wskazywała ona zainstalowany system Mizar.
     Uwaga: ten krok jest niezbędny dla prawidłowej pracy systemu Mizar.
  7. Skopiuj plik .EMACS z folderu gdzie zainstalowany jest Mizar na korzeÅ„ głównego dysku twardego (C:\).
• Instalacja programu GNU Emacs w Windows (program umożliwia obsÅ‚ugÄ™ interfejsu systemu Mizar).
  1. ÅšciÄ…gnij archiwum wybierajÄ…c download w sekcji Oprogramowanie.
  2. Po rozpakowaniu archiwum powstanie katalog EMACS-23.2.
  3. Utwórz link do programu RUNEMACS.EXE znajdujÄ…cego siÄ™ w kartotece EMACS-23.2\BIN\.
• Instalacja programu GNU grep w Windows (program umożliwia wyszukiwanie wyrażeÅ„ regularnych w plikach).
  1. ÅšciÄ…gnij program wybierajÄ…c download w sekcji Oprogramowanie.
  2. Skopiuj program do dowolnej kartoteki, której nazwa znajduje się w zmiennej środowiskowej PATH.