Zajęcia:
|
Oprogramowanie: |
Y:\JANKOW
.
ABSTR, DICT, PREL, TEXT
.
INSTALL
C:\MIZAR
(C:\MIZAR
oznacza tu ścieżkę gdzie ma zostać
zainstalowany system Mizar).
.EMACS
z folderu gdzie zainstalowany jest Mizar
na korzeń głównego dysku twardego (C:\
).
EMACS-21.2
.
RUNEMACS.EXE
znajdującego się w
kartotece EMACS-21.2\BIN\
.