|
|
Eddie |
|
Eddie to edytor artykułów mizarowych.
Obecnie jest dostępny w dwóch wersjach: dla Mizara i dla Mizara-MSE.
W tym drugim przypadku, program zawiera także checker - moduł sprawdzający poprawność dowodów.
Są to w pełni funkcjonalne edytory tekstowe
(wielopoziomowe undo/redo, znajdź/zamień z wyrażeniami regularnymi, bloki kolumnowe, etc.)
z następującymi udogodnieniami dla Mizarzystów:
- pomoc kontekstowa (naciśnięcie Ctrl+F1 na słowie zarezerwowanym lub błędzie)
przenosi do odpowiedniego tematu (pliku pomocy w Eddie::MSE i strony Mizara w Eddie::MIZ),
- podpowiedzi kontekstowe (wskazanie myszą błędu wyświetla krótki opis błędu w pasku stanu),
- wyświetlanie na prawym marginesie pozycji wszystkich uwag,
- nawigacja między kolejnymi błędami (przejście do poprzedniego / następnego, itp.),
- usuwanie wszystkich uwag,
- przypisanie rozszerzeń do edytorów (*.abs, *.miz, *.voc, *.bib; także *.mse),
- podświetlanie syntaktyczne,
- uruchamianie weryfikatora,
- uruchamianie poszczególnych detektorów (niepotrzebne inferencje, niepotrzebne etykiety, etc.),
- uruchamianie wszystkich lub wybranych detektorów,
- przerywanie pracy Mizara,
- (un)indent nie rusza etykiet i opisów błędów znajdujących się w pierwszej kolumnie,
- (od)komentowanie bloków,
- prawy margines ustawiony na 79 znaków.
Pobierz programy Eddie::MIZ i/lub Eddie::MSE.
Góra
|
|
|
|