Instrukcja pracy na zajęciach:

• Instalacja środowiska do zajęć w laboratorium.
  1. Ściągnij odpowiednie samorozpakowywujące archiwum wybierając download w sekcji Zajęcia.
  2. Uruchom ściągnięty program w kartotece domowej, np. użytkownik Janusz Kowalski powinien uruchomić i rozpakować archiwum w kartotece Y:\JANKOW.
  3. Przy rozpakowywaniu tworzone są następujące podkartoteki: ABSTR, DICT, PREL, TEXT.

• Koniec pracy.
  1. Po zakończonej pracy zarejestruj rezultat przechodząc do strony Rejestracja w sekcji Zajęcia.

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.